Two-sided ideal