Let be a set. An algebra on is a family such that

  1. If then