Axiom ax_e3 ≪ | index | src | ≫

axiom ax_e3 {x y z: set}:
  $ \fo x \fo y \fo z (x \eq y \and y \eq z \imp x \eq z) $;