According to mathemticians here, a set is the thing constructed by the elementhood function, which takes any x in the math universe and constructs {x}. This definition seems like it is only applicable to set theories where {x}=/=x and not the theories where {x}=x.
Can I get a better definition?