theorem :: YELLOW15:20

for X being set
for Y, Z being finite Subset-Family of X st Z is in_general_position & Y c= Z holds
Y is in_general_position