More properties; equivalence relation and preorders proved.
First simple try; no success. Preorder Reasoning dont like my defs
Symbols added