完全素理想

完全素理想(completely prime ideal of semi-group) 一類特殊的理想。半群S的理想1，若對任意a,bES,abEl蘊涵aEl或者bEl，則稱T為完全素的.