La définition peut être un membre d'une catégorie utilisée comme solution
L'inverse est plus fréquent...