Concretamente, una extensión es normal si verifica alguna de las siguientes condiciones equivalentes: