PréférenceLa préférence est l'expression d'un choix, en raison de critères soit subjectifs (on parle alors de goût, notamment en matière de préférence sexuelle) plus ou moins conscients, soit objectifs, basés sur des critères clairement énoncés et conscients. En théorie de la décision, une préférence est un élément de motivation, en tant qu'attitude favorable ou défavorable envers telle ou telle chose, idée, personne, pratique. Ainsi ce qui est censé apporter le bonheur est généralement préféré à ce qui est considéré comme cause potentielle de souffrance.
Implication (logique)En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « ... implique ... », « ... seulement si ... » ou, de façon équivalente, « si ..., alors ... » comme dans la phrase « s'il pleut, alors il y a des nuages ». L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.).
Inclusion (mathématiques)En mathématiques, l’inclusion est une relation d'ordre entre ensembles. On dit qu'un ensemble A est inclus dans un ensemble B si tous les éléments de A sont aussi éléments de B. On dit dans ce cas que A est un sous-ensemble ou une partie de B, ou encore que B est sur-ensemble de A. Cette relation n'est pas symétrique a priori, car il peut y avoir des éléments du deuxième ensemble qui n'appartiennent pas au premier. Plus précisément, il y a inclusion dans les deux sens entre deux ensembles si et seulement si ces deux ensembles sont égaux.
