– meyli $R$ kolco hám $P\subset R$ idealı berilgen bolsın. Eger qálegen $A$, $B$ ideallar ushın $A B\subseteq P$ ekenliginen $A\subseteq P$ hám $B\subseteq P$ kelip shıqsa, onda $P$ birlemshi deal dep ataladı.