Bài tập 3, § 3

Cho $\top$ và $\perp$ là hai luật nội trên một tập hợp $E$ sao cho $\perp$ phân phối phải đối với $\top$.

(a) Nếu luật $\top$ có một phần tử đơn vị $e$, $x \perp e$ là lũy đẳng theo luật $\top$ với mọi $x \in E$; nếu hơn nữa tồn tại $y$ sao cho $x \perp y$ giản ước được theo luật $\top$, thì $x \perp e = e$.

(b) Nếu luật $\perp$ có một phần tử đơn vị $u$ và tồn tại $z \in E$ giản ước được đối với cả hai luật $\perp$ và $\top$, thì $u$ giản ước được theo luật $\top$.