Riguarda insiemi parzialmente ordinati sui quali si possono definire operazioni algebriche particolari.