モデル理論
普遍代数の根本的な概念はシグネチャ(英語版) σ および σ-代数である。これらの概念は構造(英語版)の記事において詳細に定義されている。