theorem Th39: :: EQREL_1:39

for X being non empty set holds {X} is a_partition of X