Ideal (matemàtiques)