051 » Tome V — Extensions des fonctions caractéristiques 51 ». Logique propositionnelle 2

Ci-dessus est l’illustration standard de la notation standard de la fonction caractéristique ou indicatrice d’appartenance notée généralement χF(x), et définie sur un ensemble E qui explicite l’appartenance ou non à un sous-ensemble F de l’ensemble E de tout élément x de l’ensemble E.