:: deftheorem defines partially_Boolean PARTPR_1:def 17 :
for IT being non empty constituted-Functions LattStr holds
( IT is partially_Boolean iff ( IT is bounded & IT is partially_complemented & IT is distributive ) );