Définitionsextractrice

extractrice

nom féminin
/ɛk.stʁak.tʁis/
  1. MathématiquesApplication formant, par composition avec une suite, une sous-suite de cette dernière.Dans la sous-suite (u_{\varphi (n)})_{n\in \N}, l'application \varphi est appelée l’extractrice.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.