Definition 2.9. The function f : G F is called an open mapping to m...