Әгәр x {\displaystyle x} — R {\displaystyle R} ҡулсаһының элементы булһа, ул саҡта R x {\displaystyle Rx} күренешендәге элементтар күмәклеге, x {\displaystyle x} барлыҡҡа килтергән (ярашлы рәүештә, x R {\displaystyle xR} ) һул (ярашлы рәүештә, уң) төп идеалы тип атала. Әгәр R {\displaystyle R} ҡулсаһы коммутатив булһа, был билдәләмәләр тап киләләр һәм x {\displaystyle x} барлыҡҡа килтергән төп идеал ( x ) {\displaystyle (x)} тип тамғалана. Мәҫәлән, бөтә йоп һандар күмәклеге бөтөн һандар ҡулсаһында идеал барлыҡҡа килтерә, был идеалды 2 элементы барлыҡҡа килтерә. Бөтөн һандар ҡулсаһында бөтә идеалдар төп идеал була икәнен иҫбат итергә була. [16].