An abstract class that represents anything that conforms to algebraic rules.