Introducing Boolean Semilattices