:: deftheorem Def7 defines affinely-independent SIMPLEX1:def 7 :
for V being RealLinearSpace
for K being SimplicialComplexStr of V holds
( K is affinely-independent iff for A being Subset of K st A is simplex-like holds
@ A is affinely-independent );