Definition of trigonometry