《集合の内包的記法》から《述語の真理集合》へリンク

集合の基本概念－定義と記号を更新。
集合の内包的記法から、詳しい説明として、述語の真理集合へリンク。