Formal Definition of Marketing