Functional Mathematics Definition