Factorial domain