Structure et agentivitéDans les sciences sociales existe un débat permanent sur la primauté de la structure ou de l’agentivité (en anglais agency, terme qui est parfois utilisé en français) dans le façonnement des comportements humains. Les structures sont des ensembles de dispositifs qui influencent ou limitent les choix et les opportunités disponibles. L’agentivité est la capacité des individus d’agir indépendamment des structures sociales et de faire librement leur propre choix.
Structure socialeIn 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.
Axiome de la paireEn mathématiques, l'axiome de la paire est l'un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo-Fraenkel. Essentiellement, l'axiome affirme que : deux ensembles quelconques peuvent toujours former un nouvel ensemble, que l'on appelle paire, auquel ils appartiennent tous deux et ce sont les seuls. Dans le langage formel de l'axiomatique de Zermelo-Fraenkel, l'axiome s'écrit : qui se lit en français : étant donné a et b deux ensembles, il existe un ensemble c tel que, pour tout ensemble x, x est un élément de c si et seulement si x est égal à a ou à 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}.
