for A being non empty Preorder
for x being Element of A holds Class ((EqRelOf A),x) in the carrier of (QuotientOrder A)