:: deftheorem tev defines -evaluating FIELD_13:def 4 :
for F being Field
for T being finite Subset of F
for x being Function of (card T),F holds
( x is T -evaluating iff ( x is one-to-one & rng x = T ) );