generated at
集合体


field of sets