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