設(shè)《L1；*》和《L2；*》是偏序集，按下面方式定義L1*L2上的關(guān)系*：對于所有的（L1，L2），（L1’，L2‘）屬于L1*L2有（（L1，L2）*（L1’，L2‘））《－》（L1*L1’，L2*L2'） 證明《L1*L2;*》是偏序集？

熱心網(wǎng)友

這么復(fù)雜，有沒有懸賞