theorem :: EQREL_1:45

{} is a_partition of {}