Sign in
Please select an account to continue using cracku.in
↓ →
NOTE-Β
Whether the empty relation is reflexive or not depends on the set on which you are defining this relation -- you can define the empty relation on any set XX.
1- The statement "RR is reflexive" says: for each xβXxβX, we have (x,x)βR(x,x)βR. This is vacuously true if X=β X=β , and it is false if XX is nonempty.
2- The statement "RR is symmetric" says: if (x,y)βR(x,y)βR then (y,x)βR(y,x)βR. This is vacuously true, since (x,y)βR(x,y)βR for all x,yβXx,yβX.
3- The statement "RR is transitive" says: if (x,y)βR(x,y)βR and (y,z)βR(y,z)βR then (x,z)βR(x,z)βR. Similarly to the above, this is vacuously true.
4- To summarize, RR is an equivalence relation if and only if it is defined on the empty set. It fails to be reflexive if it is defined on a nonempty set.
Create a FREE account and get:
Educational materials for CAT preparation
Ask our AI anything
AI can make mistakes. Please verify important information.
AI can make mistakes. Please verify important information.