w logice; wyrażenie, które nie jest ani zdaniem, ani nazwą, ale służy do tworzenia wyrażeń złożonych.

wyrażenie wiążące zmienne.

w logice matematycznej: dowolny podzbiór iloczynu kartezjańskiego skończonej liczby zbiorów; definicja ta oddaje intuicję pewnego związku, czy zależności między elementami wspomnianych zbiorów (elementy wspomnianych zbiorów pozostają w związku albo łączy je pewna zależność, czy też własność lub nie).