(Lóg) Enunciado a propósito de algún objeto que se cumple con todos los objetos de esa clase a los que se aplique
