Tietze's convexity theorem for semilattices and lattices
scientific article; zbMATH DE number 3592056