Mathematical Theory of Domains