Axiom ax_nul ≪ | index | src | ≫

axiom ax_nul {x y: set}: $ \ex x \fo y y \nin x $;