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

  • for all :