Sentence:  Recent experience indicates that for infinite-dimensional Hopf algebras, the “right” definition of Galois is to require that \beta be <WSD>bijective</WSD>. 
Meaning of the word marked with <WSD> tags:  Both injective and surjective.