Description: Designed abstract definition parametrized predicate that allowed to introduce on the set N structure of a linear space over the field of real numbers, consistent with the operations of the internal and external points. The set of properties entered parametrized predicate form a complete system of conditions ensuring the existence of parametrized predicate.
Keywords:
parametrized predicate, metric, predicate model, identification comparator