theorem Th9: :: TAXONOM2:10

for a being set holds {a} is mutually-disjoint