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