集合論においてアプリオリに存在し、研究の対象とするのは、含み、また含まれる対象である「クラス(A,B,C,...,x,y,z...)」と、含むという二項関係「∈」である この二つの概念を元に、「等しい」、「包含関係（順序関係）」が定義される。「等しい」という関…