diff --git a/DOL-terms.rdf b/DOL-terms.rdf
index de42e38..68b4501 100644
--- a/DOL-terms.rdf
+++ b/DOL-terms.rdf
@@ -1798,7 +1798,7 @@ of logic (model theory).
- a generic mapping (translation or reduction)
+ a generic set-theoretic mapping or family of set-theoretic mappings (translation or reduction)
alternative term: function
in some cases is a morphism, as in Category Theory.
relation between a set of inputs and a set of permissible outputs with the property that each input is related to exactly one output.