:: deftheorem Def4 defines beta-transitive MMLQUER2:def 4 :
for X being set
for R being Relation of X holds
( R is beta-transitive iff for x, y being Element of X st x,y nin R holds
for z being Element of X st x,z in R holds
y,z in R );