Descriptive Theory of Sets and Functions. Functional Analysis in Semi-ordered Spaces