for A being non empty set
for f being UnOp of (BooleLatt A) holds
( f is monotone iff f is V224() )