问题详情

设L₁={0，1}，L2={(a₁，a₂)|a₁，a₂∈L₁}，证明(L₂，∨，∧)是格，其中二元运算∨，∧定义为对(a₁，a₂)，(b₁，b₂)∈L₂，有

  (a₁，a₂)∧(b₁，b₂)=(min(a₁，b₁)，min(a₂，b₂))，

  (a₁，a₂)∨(b₁，b₂)=(max(a₁，b₁)，max(a₂，b₂))．