Expansion (model theory)

Redirect to:

• Reduct