Definition:Order of Structure/Finite Structure

Definition
Let $\struct {S, \circ}$ be an algebraic structure. Let the underlying set $S$ of $\struct {S, \circ}$ be finite.

Then $\struct {S, \circ}$ a finite structure.

That is, $\struct {S, \circ}$ is a finite structure $\struct {S, \circ}$ is not an infinite structure.

Also known as
A finite structure can also be described as an algebraic structure of finite order.

Also see

 * Definition:Infinite Structure