:: deftheorem defines affinely-independent RLAFFIN1:def 5 :
for V being RealLinearSpace
for F being Subset-Family of V holds
( F is affinely-independent iff for A being Subset of V st A in F holds
A is affinely-independent );