concept
en logique mathématique, ensemble muni de fonctions et de relations définies sur cet ensemble