 Whether for consequence relations or for generalized consequence relations, we have the following—in general, irreversible—implications for the three properties of being fully determined, being extensional, and being congruential (as explained below) according to any given (generalized) consequence  relation:[9]