Procedural group identification

In this paper we axiomatically characterize two recursive procedures for defining a social group. The first procedure starts with the set of all individuals who are defined by everyone in the society as group members, while the starting point of the second procedure is the set of all individuals who define themselves as members of the social group. Both procedures expand these initial sets by adding individuals who are considered to be appropriate group members by someone in the corresponding initial set, and continue inductively until there is no possibility of expansion any more. -- Consensus ; Liberalism ; Procedure ; Social identity