形式的に実

数学において、ある種の環が形式的に実（けいしきてきにじつ、）であるとは、以下の条件の何れかを満たすものを言う。
環 が形式的に実であるとは:
よく知られた形式的に実な代数系として以下が挙げられる: