En particular la relación ha de construirse teniendo en cuenta un cierto conjunto de axiomas concreto, luego la relación hace referencia a una teoría concreta que no se ha especificado.