有限集合は有限集合の元を持っていると考えるのが自然で、これはhas-aの関係といえます
無限集合の元は無限集合の性質を持っていると考えるのが自然で、これはis-aの関係といえます
オブジェクト指向プログラミングではこれらは区別すべきものとして考えられるのですが、
一般的な集合論の世界では同一視することも可能なのでしょうか？