Sääntöfunktioiden
Sääntöfunktiot, suomeksi myös nimellä määrittelevät funktiot tai tunnusfunktiot, ovat matemaattisia funktioita, jotka antavat arvon 1, jos tietty ehto täyttyy, ja arvon 0, jos ehto ei täyty. Ne ovat perustavanlaatuisia työkaluja monilla matematiikan ja tietojenkäsittelytieteen aloilla.
Sääntöfunktion määritelmä voidaan esittää seuraavasti: Olkoon $A$ jokin joukko ja $P$ ominaisuus, joka joko pätee tai
$1_A(x) = 1$, jos $x \in A$ (tai jos ominaisuus $P$ pätee alkiolle $x$)
$1_A(x) = 0$, jos $x \notin A$ (tai jos ominaisuus $P$ ei päde alkiolle $x$)
Sääntöfunktioita käytetään laajasti esimerkiksi joukko-opin yhteydessä kuvaamaan joukkojen ominaisuuksia ja niiden välisiä suhteita. Ne ovat myös