In this chapter, the formal foundations are presented including the main theorem of the thesis. In support of the proof of the main theorem, a series of definitions are presented followed by a series of secondary theorems and their corollaries with their associated proofs. Results are then summarized.