- An infinite set considered in the language of equality
- (ω,S), the natural numbers considered with the successor operator
- (K,+,×,0,1) an algebraically closed field
- (V,+,0,{λ·}λ ∈ K) where V is an
infinite vector space over the field K
- Hrushovski-Fraïssé structures
|