Si el estado del sistema se representa por "S", se cumplirá: