The extensional property that enables us to sort out the membership of a referent.