整域 $D$ において、0でも単元でもない要素が既約元のみの積で一意に書けるものを何と呼ぶか。

UFD(Unique Factorization Domain)の定義そのものである。