:: deftheorem Def4 defines auxiliary(ii) WAYBEL_4:def 4 :
for L being RelStr
for R being Relation of L holds
( R is auxiliary(ii) iff for x, y, z, u being Element of L st u <= x & [x,y] in R & y <= z holds
[u,z] in R );