Le point de départ de cette étude est la définition de deux concepts relatant comment un ensemble de transformations, agissant à l’intérieur d’un domaine, peut représenter une limite supérieure ou inférieure à la diversité existante dans n’importe quel sous-ensemble de ce domaine. Le sujet de cette analyse est ensuite graduellement étendu, considérant des partitions (plutôt que des sous-ensembles) d’un domaine, des familles d’ensembles de transformations (plutôt qu’un seul ensemble), et du genre des ensembles d’objets indirectement reliés à ce domaine (plutôt que des ensembles directement inclus dans le domaine). Les principaux concepts définis sont explorés dans leurs propriétés formelles et illustrés au travers d’exemples. Les sections introductive et conclusive incluent des commentaires sur la motivation et les avantages possibles de la méthode discutée.