Checks if a subset is an ideal of a ring.