ideal-theoretic operation