theorem Th2: :: ZF_REFLE:2

for W being Universe holds W |= the_axiom_of_unions