Se define un algoritmo, dado un conjunto clásico, un subconjunto borroso y una T-indistinguibilidad, que permite determinar subconjuntos independientes de inferencia. Esto resuelve el problema de partición que se planteaba por el hecho de tener definida una T-indistinguibilidad en lugar de una relación de equivalencia clásica o una relación borrosa de similaridad. El concepto de medida de especificidad se define axiomáticamente bajo una T-indistinguibilidad. El algoritmo propuesto proporciona un método para calcular diferentes medidas de especificidad de un conjunto borroso cuando se conoce una T-indistinguibilidad