数学における は、ある概念が
数学的あるいは
論理学的に特定の条件を
公理に用いて定義・導入されるとき、その定義(における公理の組)が自己
矛盾をその中に含み持たぬ状態にあることを言い表す修飾語句である。また、ある概念の定義をする場合、そう決めることによって、何も論理的な矛盾なく上手くいくということ(定義の整合性)が確認されているということを言い表す言葉である。文脈により、「うまく定義されている」「矛盾なく定まった」「定義可能である」などと表現されることもある。 でないことは、 であることとは異なる。