设《L1；*》和《L2；*》是偏序集，按下面方式定义L1*L2上的关系*：对于所有的（L1，L2），（L1’，L2‘）属于L1*L2有（（L1，L2）*（L1’，L2‘））《－》（L1*L1’，L2*L2'） 证明《L1*L2;*》是偏序集？

热心网友

这么复杂，有没有悬赏