Tout type d’instrument est appelé passoire, sur lequel on peut définir trois sous-ensembles : l’intérieur, l’extérieur et les trous.
Les trous ne sont pas importants. En effet, on ne change pas notablement les qualités de l’instrument en réduisant de moitié le nombre des trous, puis en réduisant cette moitié de moitié etc. jusqu’à ce qu’il n’y ait plus de trou du tout.
D’où, théorème : la notion de passoire est indépendante de la notion de trou et réciproquement.