En topologie, dans le contexte des espaces de Baire, un ensemble maigre (on dit aussi de première catégorie ) est une partie d`un espace de Baire qui, en un sens technique, peut être considérée comme de taille infime. Un ensemble comaigre est le complémentaire d`un ensemble maigre. Une part...