1.1. Composition of Galois Connections. (4 pts) Let concrete domain (A,), abstract domain (B. ), abstraction function 01 : A B and concretization function 1 : B A form a Galois Connection. Let (B' ), (C's), a2 : B C and 72 : C B form a Galois Connection. ), (C,s), a2oai , and 1072 form a Galois Connection. Prove that (A, 12. Properties of Galois Connections. (4 pts) Prove that is monotone 1.3. Properties of Galois Connections. (4 pts) Prove that is monotone. 1.1. Composition of Galois Connections. (4 pts) Let concrete domain (A,), abstract domain (B. ), abstraction function 01 : A B and concretization function 1 : B A form a Galois Connection. Let (B' ), (C's), a2 : B C and 72 : C B form a Galois Connection. ), (C,s), a2oai , and 1072 form a Galois Connection. Prove that (A, 12. Properties of Galois Connections. (4 pts) Prove that is monotone 1.3. Properties of Galois Connections. (4 pts) Prove that is monotone