symmetric-relation

public under binary-relation 126

List Picture As a command

• equivalence-relation