当分野は具体例が特に重要な分野です。
具体例や詳細な解説や応用などは、本来のカテゴリ 集合と論理 で確認してください。