Fonction zêta de Riemann.
L'hypothèse de Riemann est une conjecture formulée en 1859 par le mathématicien allemand Bernhard Riemann.
Elle dit que les zéros non triviaux de la fonction zêta de Riemann ont tous pour partie réelle 1/2.
Soient P et Q sont des assertions.
La réciproque de l'implication (P⇒Q), c'est l'assertion (Q⇒P).
Elles sont vraies toutes les deux si et seulement si P⇔Q est vraie.
Le symbole ∈ indique qu'un élément appartient à un ensemble. À l'inverse, le symbole ∉ identifie un élément qui n'appartient pas à un ensemble.
L'ensemble est dit un sous-ensemble de si et seulement si tous les éléments de sont aussi des éléments de .
On dit alors que l'ensemble est inclus dans l'ensemble .