for x being object
for R being Relation holds
( x in field R or R -Seg x = {} )