quotient structure
Let be a fixed signature, a structure for , and a congruence on . The quotient structure of by , denoted , is defined as follows:
-
1.
The universe of is the set .
-
2.
For each constant symbol of , .
-
3.
For every natural number and every -ary function symbol of ,
-
4.
For every natural number and every -ary relation symbol of , if and only if for some we have
Title | quotient structure |
---|---|
Canonical name | QuotientStructure |
Date of creation | 2013-03-22 13:46:41 |
Last modified on | 2013-03-22 13:46:41 |
Owner | almann (2526) |
Last modified by | almann (2526) |
Numerical id | 10 |
Author | almann (2526) |
Entry type | Definition |
Classification | msc 03C05 |
Classification | msc 03C07 |