Ideal (lý thuyết thứ tự)