Establecen relaciones entre propiedades y sus consecuencias.