1. おおやけに定められた 形式。また、公的な手続きを踏んで物事を行う こと。

2. 数や式の間に成り立つ 関係を、数学上の記号を用いて表示した式。

formal ; official

formula (e.g. mathematical)