:: deftheorem Def8 defines scalar-unital RLVECT_1:def 8 :
for IT being non empty RLSStruct holds
( IT is scalar-unital iff for v being VECTOR of IT holds 1 * v = v );