Partially Ordered Sets


Definition

A partially ordered set (poset) is a relational structure
A strict partially ordered set (strict poset) is a relational structure

Basic Results

Examples

Decision problems

Universal Horn Theory: Decidable
First order theory: Undecidable

Spectra and growth

Finite spectrum:

Subclasses

semilattices
trees
linearly ordered sets

Expansions

partially ordered algebraic structures