Formal Elements Definition