When using relations in logic formulas, there are two things going on:
- relations themselves, as mathematical entities, and
- formulas involving symbols, which must be interpreted as specifc relations.
First things first: we'll just discuss relations for now, and later tackle using relations in logic formulas.
We'll start with a couple of equivalent ways of defining relations, and then discuss a common subclass of relations: binary relations.