Axiom ax_7 ≪ | index | src | ≫

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