Algebraic Theory of General Topology Or Ordered Semicategory Actions