[CG] Relation Theory