Let L1, L2, L′1 and L′2 be ordered sets.
L1、L2、L′1、L′2 を順序集合とする。