:: deftheorem Def6 defines Adjacent MYCIELSK:def 6 :
for R being RelStr
for v being Element of R
for b₃ being Subset of R holds
( b₃ = Adjacent v iff for x being Element of R holds
( x in b₃ iff ( x < v or v < x ) ) );