Se presenta una variante axiomática, mediante las siguientes tres propiedades: