Si dos estados no son equivalentes, se dice que son estados distinguibles.