above. That is, for any such rational consequence relation there is a sequence of subsets of such that the associated rcr is the same relation: Notes By the above property of , the representation of an rcr need not be unique - if the are not disjoint then they can be made so without changing the rcr and conversely if they are disjoint then each subsequent set can contain any of the atoms of the previous sets without changing the rcr. References Logical consequence Binary relations Non-classical logic