Assertion: algebra's element | /r/HasProperty | prime
Facets:
Source sentences:
text: An important class of integral domains that contain a PID is a unique factorization domain (UFD), an integral domain in which every nonunit element is a product of prime elements (an element is prime if it generates a prime ideal.)