Structure and agencyIn the social sciences there is a standing debate over the primacy of structure or agency in shaping human behaviour. Structure is the recurrent patterned arrangements which influence or limit the choices and opportunities available. Agency is the capacity of individuals to act independently and to make their own free choices. The structure versus agency debate may be understood as an issue of socialization against autonomy in determining whether an individual acts as a free agent or in a manner dictated by social structure.
Social structureIn the social sciences, social structure is the aggregate of patterned social arrangements in society that are both emergent from and determinant of the actions of individuals. Likewise, society is believed to be grouped into structurally related groups or sets of roles, with different functions, meanings, or purposes. Examples of social structure include family, religion, law, economy, and class. It contrasts with "social system", which refers to the parent structure in which these various structures are embedded.
Axiom of pairingIn axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of pairing is one of the axioms of Zermelo–Fraenkel set theory. It was introduced by as a special case of his axiom of elementary sets. In the formal language of the Zermelo–Fraenkel axioms, the axiom reads: In words: Given any object A and any object B, there is a set C such that, given any object D, D is a member of C if and only if D is equal to A or D is equal to B.
Hereditarily finite setIn mathematics and set theory, hereditarily finite sets are defined as finite sets whose elements are all hereditarily finite sets. In other words, the set itself is finite, and all of its elements are finite sets, recursively all the way down to the empty set. A recursive definition of well-founded hereditarily finite sets is as follows: Base case: The empty set is a hereditarily finite set. Recursion rule: If a1,...,ak are hereditarily finite, then so is {a1,...,ak}.
