Ideał (teoria mnogości)