Let L1, L2, L′1 and L′2 be ordered sets.
设 L1, L2, L′1 和 L′2 是有序集合。