:: deftheorem defines SC_assignment NOMIN_2:def 8 :
for V, A being set
for v being object
for f being SCBinominativeFunction of V,A holds SC_assignment (f,v) = (SCassignment (V,A,v)) . f;