for A being non empty Preorder
for D being non empty a_partition of the carrier of A st D = the carrier of (QuotientOrder A) holds
proj A = proj D