Axiom ax_9 ≪ | index | src | ≫

axiom ax_9 (x y z: set): $ x = y \imp z \in x \imp z \in y $;