Description lattices# Description spaces# 🚧 Coming soon… 🚧 Generalised convex hulls# 🚧 Coming soon… 🚧 Definition# 🚧 Coming soon… 🚧