In a → formal language, a letter used to describe a → predicate or → relation. Also called → relation symbol.
→ predicate; → symbol.