:: deftheorem Def1 defines ComplMap YELLOW_7:def 1 :
for L being non empty RelStr
for b₂ being Function of L,(L opp) holds
( b₂ = ComplMap L iff for x being Element of L holds b₂ . x = 'not' x );