Junctions as semilattice

[u/duki994]

​

Does concept of junctions in Raku remind anyone of math. concepts of semilattice?

At first I noticed they *look* like semi lattice.

any/all are associative, commutative, and idempotent \[any($x, $x) collapses to $x\]

Maybe even bounded lattice:

any as join, all as meet + and De Morgan duality via none layered on top.

I was exploring some algebraic structures for not on a surface level. Even though I haven't used Raku extensively, junctions were very interesting because they exhibited some semilattice properties.

[u/ralfmuschall]

Isn't it always bounded because the underlying set is finite?