:: deftheorem defines SC_Fsuperpos NOMIN_2:def 16 :
for V, A being set
for v being object
for f, g being SCBinominativeFunction of V,A holds SC_Fsuperpos (f,g,v) = (SCFsuperpos (V,A,v)) . (f,g);