theorem :: YELLOW15:21

for X being non empty set
for Y being empty Subset-Family of X holds Y is in_general_position