Extra Credit #4

Due: March 9, 2022
Points: 20

Let L = (S_L, ≤_L) be a lattice. Define:

1. S_IL = { [a, b] | a, b ∈ S_L ∧ a ≤_L b }
2. ≤_IL = { ([a₁, b₁], [a₂, b₂]) | a₁ ≤_L a₂ ∧ b₁ ≤_L b₂ }
3. lub_IL([a₁, b₁], [a₂, b₂]) = (lub_L([a₁, a₂), lub_L(b₁, b₂))
4. glb_IL([a₁, b₁], [a₂, b₂]) = (glb_L([a₁, a₂), glb_L(b₁, b₂))

Matt Bishop Office: 2209 Watershed Sciences Phone: +1 (530) 752-8060 Email: mabishop@ucdavis.edu

ECS 235B, Foundations of Computer and Information Security Version of February 24, 2022 at 12:41PM

You can also obtain a PDF version of this.