Formalmente, esto se puede describir por la propiedad: