夜のおもちゃぜんじろげっ!ダニエル積分数学の微分積分学周辺領域におけるダニエル積分(ダニエルせきぶん、)は、初学者が学ぶリーマン積分のようなより初等的な積分の概念を一般化した積分法の一種である。旧来のルベーグ積分の定式化に関して主な障害となっていたのは、積分に対する十分な結果を得るまでに、まずは満足な測度論を展開する必要があったことである。しかし、ではこの欠点に悩まされることのない別な手法がとられ、旧来の定式化(具体的には、積分の高次元化やさらにスティルチェス積分への一般化など)に対するいくつか特徴的な優位性を見せた。基本的な考え方には、積分の公理化が含まれる。ダニエルの公理系.ある集合上で定義される有界な実函数の族で以下の二つの公理を満たすものをとる(そしてに属する函数を基本函数と呼ぶ)。さらに、の各函数に対しての基本積分と呼ばれる実数を対応させる。ここで基本積分は次の三つの公理を満足するものをいう。すなわち、基本函数全体のなす空間上に非負値連続線型汎函数を定めるのである。基本函数および基本積分には、任意の函数空間とその上の非負値連続線型汎函数をとることができる。例えば、階段函数全体の成す函数族は上記基本函数の公理系を明らかに満足する。さらに階段函数全体の成す族の基本積分を、階段函数の下にある領域の(符号付)面積として定義すれば、これが基本積分の公理系を満たすことも明らかである。後述するように、ダニエル積分の構成法を階段函数を基本函数にとって適用することで得られる積分の定義は、ルベーグ積分と同値になる。また、連続函数全体の成す族を基本函数として古典的なリーマン積分を基本積分とすることもできるが、そうして得られる積分はルベーグ積分と同値になる。同じことを、有界変動函数に対してリーマン=スティルチェス積分を用いて行うと、やはりルベーグ=スティルチェス積分に同値な積分が定まる。零集合を基本函数の言葉で定義することができる。すなわち、の部分集合が零集合またはであるとは、任意のに対しての非負値基本函数列をうまく選べば、かつ上でとすることができるときに言う。