数学における束（そく、英語: lattice）は、任意の二元集合が一意的な上限（最小上界、二元の結びとも呼ばれる）および下限（最大下界、二元の交わりとも呼ばれる）を持つ半順序集合である。それと同時に、ある種の公理的恒等式を満足する代数的構造としても…

逆数学とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いることが特徴である。「選択公理とツォルンの補題はZF上で同値…

バリデーションは、製造所の構造設備並びに手順、工程その他の製造管理および品質管理の方法（以下「製造手順等」という。） が期待される結果を与えることを検証し、これを文書とすることによって、目的とする品質に適合する製品を恒常的に製造できるように…