Fijamos primero algunas notaciones. Si S es un subconjunto de un cuerpo P, el cual es una extensión de un cuerpo P , entonces  ɸ [s] y  ɸ (s) denotan respectivamente la sub-algebra de P y el sub-cuerpo de P sobre  ɸ generados ...