Join-semilattices