El axioma de unión (AU) es completamente independiente del resto de axiomas de Zermelo-Fraenkel (ZF).