SetTheory is a field of mathematics and the basis for the theory behind RDBMS, ObjectOrientedProgramming? and parts of Z.
4 pages link to SetTheory: