for x being non pair set
for R being Relation holds not x in R