jpdb beta

① 論理演算において、ある命題が、前提となる命題に対して矛盾を生じないこと。

① 小さな集合の全ての要素が大きな集合に属しているときの、大きな集合に含まれている小さな集合。ただし特に断りがない限り、ある集合の部分集合とは、何も要素を持たない空集合とその集合自体も含む。集合 A = {1, 2, 3} の部分集合は、{}, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3} の何れかが考えられる。