[Home]Sets

HomePage | RecentChanges | Preferences

Abbreviation: Set

Definition

A set is a structure A = (A) with no operations or relations defined on A.

Morphisms

Let A and B be sets. A morphism from A to B is a function h : AB.

Some results

Examples

Properties

Classtype variety
Equational theory decidable
Quasiequational theory decidable
First-order theory decidable
Locally finite yes
Residual size 2
Congruence distributive no
Congruence modular no
Congruence n-permutable no
Congruence regular no
Congruence uniform no
Congruence extension property yes
Definable principal congruences yes
Equationally definable principal congruences no
Amalgamation property yes
Strong amalgamation property yes
Epimorphisms are surjective yes

Finite members

[Size n]?:  1

Subclasses

[One-element structures]?

Superclasses


HomePage | RecentChanges | Preferences
This page is read-only | View other revisions
Last edited May 30, 2003 11:17 pm (diff)
Search: