NaΓ―ve set theory MOC

Relation

A relation between sets 𝐴 and 𝐡 is a construct which relates elements π‘Ž ∈𝐴 or 𝑏 ∈𝐡, so that π‘Ž βˆΌπ‘ is either true or false. set We may therefore define a relation 𝑅 as the following subset of the cartesian product 𝐴 ×𝐡

𝑅={(π‘Ž,𝑏)βˆˆπ΄Γ—π΅:π‘ŽβˆΌπ‘}

or equivalently as a function 𝐴 ×𝐡 β†’Ξ©. A special class of relation is the Equivalence relation.

See also Relation class.


tidy | SemBr | en