Definition:Finite Integral Domain

Definition
A finite integral domain is an integral domain $\left({D, +, \circ}\right)$ such that $D$ is a finite set.