let's suppose the cases of sets which are members of themselves