En su definición original, Baire definió una noción de categoría (sin relación con la teoría de las categorías) como sigue: