 Both the class-logical relations and the relations between propositions are constructed from the initial relation of compatibility by adding specific conditions to previously defined relations. Compatibility is thus the basic relation of Bolzano’s extensional logic. It is embedded in the very foundations of his system and all other relations (with the exception of different cases of disjunction, TS II, §160), deducibility included, are special cases of it.