發送短信: Canonical Extensions and Profinite Completions of Semilattices and Lattices