diff options
Diffstat (limited to 'content/zettel/2e1a1.md')
| -rw-r--r-- | content/zettel/2e1a1.md | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/content/zettel/2e1a1.md b/content/zettel/2e1a1.md new file mode 100644 index 0000000..c6ec0d9 --- /dev/null +++ b/content/zettel/2e1a1.md @@ -0,0 +1,17 @@ ++++ +title = "Semilattice" +author = "Yann Herklotz" +tags = [] +categories = [] +backlinks = ["2e1a"] +forwardlinks = [] +zettelid = "2e1a1" ++++ + +- partially ordered set that has either a join or a meet +- There are join-semilattice (least upper bound, supremum) +- There are meet-semilattice (greatest lower bound, infimum) +- a lattice is both a meet-semilattice and a join-semilattice +- A set with finite elements is always a lattice, because if we take + two distinct elements, one will be the least element (join) and the + other will be most element (meet) |