Formal Definition of System