theorem Th13: :: YELLOW15:16

for X being set
for Y being empty Subset-Family of X holds Components Y = {X}