R .: {x} c= Y ;
hence Class (R,x) is Subset of Y ; :: thesis: verum