Where Can The Formal Definition Be Found