theorem Th49: :: ORDERS_5:40

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