ソフトウェア技術者の観点から言えば、「ソフトウェアのための集合論」だな。 数学の集合は茫漠としていて掴みどころがない。 全体集合U（universe）を決めて、その部分集合だけを考えるのが良い。 Uはデータの集合だが、アトムだけじゃなくて複合データも考…