Partie entière et partie fractionnaireright|thumb|Représentation graphique en escalier de la fonction « partie entière ». En mathématiques et en informatique, la partie entière par défaut, ou partie entière inférieure, en général abrégée en partie entière tout court, d'un nombre réel est l'unique entier relatif (positif, négatif ou nul) tel que On démontre son existence et son unicité par analyse-synthèse : est le plus grand entier relatif inférieur ou égal à (ce que l'on peut prendre comme définition équivalente de la partie entière de , voir ci-dessous), son existence étant garantie par la propriété d'Archimède.
Fonction de HeavisideEn mathématiques, la fonction de Heaviside (également fonction échelon unité, fonction marche d'escalier), du nom d’Oliver Heaviside, est la fonction indicatrice de . C'est donc la fonction H (discontinue en 0) prenant la valeur 1 pour tous les réels strictement positifs et la valeur 0 pour les réels strictement négatifs. En 0, sa valeur n'a généralement pas d'importance, même si souvent elle vaut 1/2. C'est une primitive de la distribution de Dirac en théorie des distributions.
Fonction caractéristique (théorie des ensembles)En mathématiques, une fonction caractéristique, ou fonction indicatrice, est une fonction définie sur un ensemble E qui explicite l’appartenance ou non à un sous-ensemble F de E de tout élément de E. Formellement, la fonction caractéristique d’un sous-ensemble F d’un ensemble E est une fonction : D'autres notations souvent employées pour la fonction caractéristique de F sont 1 et 1, voire I (i majuscule). Le terme de fonction indicatrice est parfois utilisé pour fonction caractéristique.
