In set theory we use \(A\mathcal{R} B\) to read \(A\) is related to \(B\) or in this case \(A\subseteq B\)
1) If \(A\mathcal{R} B~\&~B\mathcal{R} A\) does that mean \(A= B~?\) If so the it is antisymmetric.
2) If \(A\mathcal{R} B~\&~B\mathcal{R} C\) does that mean that \(A\mathcal{R} C~?\) If so the it is transitive.
3) If for each set \(A\mathcal{R} A\) then it is reflexive.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.