极小I_稠密子集与I_极小理想

在半群中引入I_稠密子集和I_极小理想等新概念——它们分别是半群的稠密子集和极小理想(或0_极小理想)的推广,证明若半群S含有极小I_稠密子集,I_j(j∈J)是S的I_极小理想的全体,而x_j是I_j—I中的任意一个元素,则U{x_j}是S的极小I_稠密子集。