素理想集

set of prime ideals