Finite Set Theory Symbols