设E和F为两个有序集,并令A(E,F)为乘积的子集,将E的*递增*映射的集合FE由……组成排序到F中。
(a) 证明如果 E、F、G 存在有序集,则有序的集合 A(E,F×G) 同构于有序的乘积集合 A(E,F)×A(E,G)。
(b) 证明如果 E、F、G 是三个有序集,则有序集合 A(E×F,G) 与有序集合 A(E,A(F,G)) 同构的。
(c) 如果 E=∅,则 A(E,F) 是格当且仅当 F 是格。
(d) 假设 E 和 F 均非空。那么当且仅当满足以下条件之一时A(E,F)是完全有序的:
(α) F 由单个元素组成;
(β) E由单个元素组成,F是全序的;
(γ) E 和 F 都是全序的,且 F 有两个元素。