for A being set
for D being a_partition of A holds D = Class (EqRelOf (PreorderFromPartition D))