対角線共通部分

対角線共通部分（たいかくきょうつうせんぶぶん、）は、数学、特に集合論で使われる概念である。
概要.
formula_1 を順序数、formula_2 を、formula_1 の部分集合の列としたとき、その対角線共通部分とは、次のように表され、
次のように定義される。
順序数 formula_6がformula_7 の要素であるというのは、それが列の最初から formula_6 番目より前の要素の全てに属することと同値である。すなわち、対角線共通部分は
と同じである。