Formal Structure Definition