集合と一項述語(1変数命題関数)とのリンク

集合と一項述語(1変数命題関数)とのリンクを記すノートを作成。
目下のところ、
・一項述語(1変数命題関数)の真理集合・外延の定義
・集合の内包の定義
のみ。