m
model
Structure that satisfies the given theory
- Instance of
Overview
All data
8 statements · 0% with external sources · numbers in brackets are citations
On other databases
2 identifiers linking model across the web's reference databases
Structure that satisfies the given theory
8 statements · 0% with external sources · numbers in brackets are citations
2 identifiers linking model across the web's reference databases
From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0
In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations that are defined on it.