ekstensionaalne kontekst 1(n)

lause, milles on võimalik vahetada samaosutuslikke väljendeid ilma tõeväärtust muutmata