集合ネタでふと思ったんですけど、要素aが集合Aで重複してる、aであるといえる要素が集合A内にいくつもある、場合はどういう理論体系になるんですか？