A categoria que opera com a noção de inclusão, a mesma noção que permite reunir unidades numa classe, denomina-se: