Definition:Order of Structure/Finite Structure

From ProofWiki
Jump to navigation Jump to search

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 if and only if $\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


Sources