:: deftheorem Def6 defines satisfying_MC WAYBEL_2:def 6 :
for R being non empty reflexive RelStr holds
( R is satisfying_MC iff for x being Element of R
for D being non empty directed Subset of R holds x "/\" (sup D) = sup ({x} "/\" D) );