Description: The characteristic property of couples. Note that this holds without sethood hypotheses (compare opth ). (Contributed by BJ, 6-Oct-2018)