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