:: deftheorem defines in_general_position YELLOW15:def 3 :
for X being set
for Y being finite Subset-Family of X holds
( Y is in_general_position iff not {} in Components Y );