equivalence-relation public under preorder 8, symmetric-relation 1 List Picture As a command Nothing is filed under equivalence-relation.