Formal Set