Definition:Quasi-Galois Extension