Axiom ax_8 ≪ | index | src | ≫

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