:: deftheorem Def5 defines scalar-unital CLVECT_1:def 5 :
for IT being non empty CLSStruct holds
( IT is scalar-unital iff for v being VECTOR of IT holds 1r * v = v );