PARAMETERISED SET
Definition
An object is a <PARAMETERISED SET> if and only if: it is a <STRUCTURE(math)>; it contains: a <PRINCIPAL SET> set S; a parametric domain; a <SURJECTION> from the parametric domain to the <PRINCIPAL SET> S, called a 'parametric function'