You are here

Properties of relations

17 March, 2015 - 15:20
Available under Creative Commons-ShareAlike 4.0 International License. Download for free at

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.