Sous-suiteEn mathématiques, une sous-suite (ou une suite extraite) est une suite obtenue en ne prenant que certains éléments (une infinité) d'une suite de départ. Cette opération est parfois appelée extraction. Formellement, une suite est une application définie sur l'ensemble N des entiers naturels. On la note classiquement . Une sous-suite ou suite extraite est la composée de u par une application strictement croissante . Elle s'écrit donc sous la forme . Dans ce contexte, l'application est appelée extractrice.
AntichaîneEn mathématiques, plus précisément en théorie des ordres, une antichaîne est une partie d'un ensemble partiellement ordonné dont les éléments sont deux à deux incomparables. (Par opposition aux chaînes qui forment parties d'un ensemble dont les éléments sont toujours deux à deux comparables.) Dit autrement, soit E un ensemble muni d'une relation d'ordre ≤, un sous-ensemble A est une antichaîne de E si pour tout x,y de A, Une antichaîne est dite maximale si elle n'est incluse (strictement) dans aucune autre antichaîne.
Order embeddingIn order theory, a branch of mathematics, an order embedding is a special kind of monotone function, which provides a way to include one partially ordered set into another. Like Galois connections, order embeddings constitute a notion which is strictly weaker than the concept of an order isomorphism. Both of these weakenings may be understood in terms of . Formally, given two partially ordered sets (posets) and , a function is an order embedding if is both order-preserving and order-reflecting, i.e.
