Hinreichende Bedingung:

Aussage 1 ist eine hinreichende Bedingung für Aussage 2, wenn gilt:

aus Aussage 1 folgt Aussage 2.

Die mathematische Schreibweise dafür lautet

Aussage 1 => Aussage 2.