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