A mathematical model for a certain class of data structures that have similar behavior.
Wikipedia
Page:
Context: