Cada entidad en una teoría tiene una contrapartida en la otra teoría.