:: deftheorem Def18 defines "/\" WAYBEL_1:def 18 :
for S being non empty RelStr
for x being Element of S
for b₃ being Function of S,S holds
( b₃ = x "/\" iff for s being Element of S holds b₃ . s = x "/\" s );