 Some axioms for predicates \(\epsilon _{1}\) are added, as well as axioms saying that predicates \(P\) and \(O\) are never interpreted as empty sets, \(\exists xOx\) and \(\exists xPx\). Moreover, the links between predicates \(\epsilon _{1}\), \(P\) and \(O\) are expressed by: