In de abstracte algebra, een onderdeel van de wiskunde, is een uniek factorisatiedomein, UFD, een commutatieve ring, waarin elk element dat geen nul is en geen eenheid op een unieke manier kan worden geschreven als een product van irreducibele of priemelementen, op dezelfde manier dat de gehele getallen in priemgetallen kunnen worden ontbonden. Wikipedia