Upper semi-lattice

This article does not exist yet.