空でない集合に対し、写像をハイパー演算子（Hyper-operator）と呼ぶ。このに関する構造（ハイパー構造）は古くから調べられてきた。歴史的な経緯に沿いながら議論することも可能だが、今回はブルバキ流に諸概念を細分化しつつ纏めてみようと思う。 再現性 …