Similar to 祖先関係

Binary relation

Category of relations

Congruence relation

Transitive closure

Symmetric relation

Reflexive relation

Antisymmetric relation

Asymmetric relation