Casilla de verificación de las propiedades de cálculo