relations proving reflexivity symmetry and transitivity

Upgrade
Loading…