The diamond covering property axiom
scientific article; zbMATH DE number 6642526