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).
o nazwie: odsyłać do tych bytów, zjawisk, o których można orzekać zgodnie z prawdą za jej pomocą; być nazwą, znakiem językowym jakiegoś bytu, zjawiska; stanowić nazwę czegoś.