:: deftheorem defines are_in_general_position JORDAN12:def 2 :
for n being Nat
for f1, f2 being FinSequence of (TOP-REAL n) holds
( f1,f2 are_in_general_position iff ( f1 is_in_general_position_wrt f2 & f2 is_in_general_position_wrt f1 ) );