普遍性
数学において普遍性（、または ）とは、ある特定の状況下において一意に射（あるいは準同型、構造を保つ写像）を定めるような抽象的性質で、それが特定の構成（例えば直積や直和、加群のテンソル積、距離空間の完備化など）を特徴づけるようなものをいう。
普遍性の具体例となる構成には他にも、様々な構成における、核や余核、順極限および逆極限、群に対するアーベル化、集合や様々な空間に対する引き戻しや、ストーン－チェックのコンパクト化などが存在する。
このような構成は個別の数学の分野において議論されていたが、横断的な議論を試みたのは1948年のピエール・サミュエルの論文によって初めて行われ、その後ブルバキによって広められたとされる。