In the framework of the set theory like ZF(C), one does not write that x belongs to a predicate, since in a set theory like NB(G) the class of all such x need not be a set, and in ZF(C) there is no notion of class. Boris (talk) 19:05, 18 March 2016 (UTC)
