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