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

  1. If then