:: deftheorem defines being_quasi-order ORDERS_1:def 4 :
for R being Relation holds
( R is being_quasi-order iff ( R is reflexive & R is transitive ) );