Consider the complete lattice of substructures of an algebraic structure, or just submodules of a module, or even just ideals in a commutative ring. Every element of this lattice is a join of »principal« substructures (generated by one element). Is there anything else that is special about the set of principal substructures (or its individual elements) from an order-theoretic point of view?