Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 2 of 2
I want to know properties of free join-semilattices (generated by infinite sets in the general case).
For example, are such semi-lattices distributive, complete, atomic, atomistic, etc.?
Unless I’m mistaken, the free join-semilattice on is the poset of finite subsets of . So it has inhabited meets that distribute over its finite joins, but it is not complete.
1 to 2 of 2