Formalmente, un grupo de propiedades X superviene de un grupo de propiedades Y "si y sólo si", para todos los objetos "a" y "b" se cumple cualquiera de las siguientes condiciones (lógicamente equivalentes):