Axiomatic Definition