Niech będzie dana przestrzeń 0.
Wyrażenie <p(x), w którym występuje zmienna x i które staje się zdaniem prawdziwym lub fałszywym, gdy zamiast zmiennej * podstawimy nazwę dowolnego elementu przestrzeni X nazywamy funkcją zdaniową jednej zmiennej x, której zakresem zmienności jest przestrzeń X.
Symbolicznie to zapisujemy <p(x), G