The correspondence relation