Por tanto una componente es irrelevante cuando para todo vector de estados de las componentes x se verifica que φ (1i , x ) = φ (0 i , x ) .