(via Ideal set)