kurikuriの閉包って何だ?
kurikuriを含む最小の閉集合、それは砦か?