今回は諸事情により4人でした。 今回もozekiさんが予習をしてきてくれたおかげでスムーズに勉強会を進めることができました。p16の層の第一定義 すべてのAの部分集合Fが Fの任意の二元f_1,f_2が必ず両立している。 という条件を満たしている時に、次の条件を…