(2) Let S, T be relational structures, K, L be non empty relational structures, f be a map from S into T , and g be a map from K into L. Suppose that (i) the relational structure of S = the relational structure of K, (ii) the relational structure of T = the relational structure of L, (iii) f = g, and (iv) f is antitone. Then g is antitone. 1This work was partially supported by the Office of Nav...