аксиоматическое определение

Axiomatic specification