theorem Th2: :: PARTIT_2:2

for Y being non empty set
for R, S being Equivalence_Relation of Y holds R \/ S c= R * S