Technical Appendix: 

Relational Invariant Framework ($nR$) and Exhibition "A ≡ B"