:: deftheorem defines QuasiPure OPOSET_1:def 13 :
for O being non empty OrthoRelStr holds
( O is QuasiPure iff ( O is Dneg & O is QuasiOrdered ) );