Formal Sets