Let be a set of subsets of . Say that is a ring on if:

  • for all :