act of describing something in a strict form (often using a formal language or formal system), creating a formalization
No description defined