I.e. relations about relations, also expressed as mathematical or logical structures or statements.
back to main text