theorem Th35: :: SETWISEO:38

for A being set holds FinUnion A is commutative