PRZEBIEG ZMIAN, funktor NOTs
w logice: wyrażenie, które w połączeniu z pewnymi innymi wyrażeniami, nazywanymi jego argumentami, tworzy nazwę lub zdanie