Semilattices and their tensor products · HackerTrans