Dictionnaire breton 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é