Contributions to the theory of definable sets and functions