was bedeutet df hier?

ich lerne jetzt über Prädikatenlogik und plötzlich kommt eine Formel.

ich habe noch nicht "df" gesehen, deswegen weiß ich es.

df ist klein und ein bisschen unten.

$A\left(n\right)=df\left(n+1\le3\right)$

Answer 1

[eterneladam]

Wenn es klein ist „und ein bisschen unten“ und näher an das Gleichheitszeichen gerückt ist als an die Klammer, dann könnte es heissen „Definition“, d.h. Es ist keine Gleichung, sondern A(n) wird auf diese Art definiert.