Computer Science I / Relations
Practice question · Multiple choice

Congruence mod 5 partitions the integers into exactly five classes, while "less than or equal to" partitions nothing. Both are reflexive and transitive. What does the third property decide?

Hints
  1. 3 ~ 8 mod 5 and 8 ~ 3 mod 5. Does 3 <= 8 give you 8 <= 3?
  2. Ask what mutual relatedness does to a group of elements.
Show the answer

B. Symmetry versus antisymmetry: one groups, the other arranges.

Why

Congruence is symmetric, so relatedness is mutual and a group of mutually related elements has no internal direction, a clump. Ordering is antisymmetric, so the relation runs one way and arranges rather than groups. Reflexive+symmetric+transitive gives a partition; reflexive+antisymmetric+transitive gives a hierarchy. Which you have decides what you can do.

Read the lesson: Relations →

Practise Relations

The app has 5 more questions on this lesson, and keeps your place in the course. Computer Science I is free to start.

More questions on Relations