A stronger form of the theorem constructing a rigid binary relation on any set

On every set A there is a rigid binary relation i.e. such a relation R \subseteq A \times A that there is no homomorphism (A,R) \rightarrow (A,R) except the identity (Vop{ě}nka et al. [1965]). We prove that for each infinite cardinal number κif card A \leq 2^κ, then there exists a relation R \subseteq A \times A with the following property: \forall (x \in A) \exists ({x} \subseteq A(x) \subseteq A, card A(x) \leq κ) \forall (f: A(x) \rightarrow A, f \neq id_A(x)) f is not a homomorphism of R. The above property implies that R is rigid. If a relation R \subseteq A \times A has the above property, then card A \leq 2^κ.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.