離散と集合 https://rio.st/2008/07/07/%e9%9b%a2%e6%95%a3%e3%81%a8%e9%9b%86%e5%90%88/