La definición anterior es común a muchas aplicaciones actualmente, y prominente en las teorías de retículos y de dominios.