:: deftheorem Def10 defines LAp ROUGHS_2:def 10 :
for R being non empty RelStr
for b₂ being Function of (bool the carrier of R),(bool the carrier of R) holds
( b₂ = LAp R iff for X being Subset of R holds b₂ . X = LAp X );