:: deftheorem defines Affine MAZURULM:def 2 :
for E, F being non empty RLSStruct
for f being Function of E,F holds
( f is Affine iff for a, b being Point of E
for t being Real st 0 <= t & t <= 1 holds
f . (((1 - t) * a) + (t * b)) = ((1 - t) * (f . a)) + (t * (f . b)) );