Ideal theory