Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

mathématiques, informatique ◊ forme mathématique qui pose l'égalité entre deux expressions logiques et pour laquelle il s'agit généralement de trouver les valeurs des variables qui vérifient cette égalité