Univalent relation