R \~ = R \ (R ~ ) ;
hence R \~ is Relation of X ; :: thesis: verum