5.1
集合 A 上に定義された演算の族 \Omega と関係（半演算を含む）の族 \Sigma とがあるとき，
この三つ組  \tilde{A} = (A, \Omega, \Sigma) を代数系といい，A はその底という．
特に \Sigma = \emptyset のときは \tilde{A} を狭義の代数系といい，単に (A, \Omega) で表す．
X \subset A, \bot \in \Omega とする．
\bot が多項演算のときも二項演算のときと同様，
であるとき X は \bot について閉じているという（1.3参照）．
X がすべての \bot \in \Omega で閉じているとき X は \tilde{A} の部分代数系という．
このとき各 \bot \in \Omega （n 項演算）に対して写像 \bot : A^n \to A としての
\bot の X^n への制限は X 上の演算となる．
これを \bot の X 上への制限といい，同じ記号 \bot で表し，
またこれらの族も \Omega で表す．
同様に各 \rho \in \Sigma (n 元関係）に対して \rho \cap X^n は X 上の関係である．
これを \rho の X への制限といい，同じ記号 \rho で表し，またこれらの族も \Sigma で表す．
このようにして \tilde{A} の部分代数系 X はまた一つの代数系 \tilde{X} = (X, \Omega, \Sigma) を作る．
定理\quad \tilde{A} = (A, \Omega, \Sigma) は代数系，Y は A の任意の部分集合とする．
このとき Y を含む \tilde{A} の部分代数系の中に最も小さいもの \overline{Y} が存在する．
証明\quad Y を含む \tilde{A} の部分代数系全体の族を \mathfrak{X} とし，
\overline{Y}=\bigcap \mathfrak{X} として \overline{Y} がまた \tilde{A} の部分代数系であることを示せばよい．
実際，a, b \in \overline{Y} ならばすべての X \in \mathfrak{X} について a, b \in X，よって \bot \in Q
（仮に二項演算とする）に対して a \bot b \in X．これがすべての X \in \mathfrak{X} について成り立つから a \bot b \in \overline{Y}．(証明終)
この \overline{Y} を Y から生成された \tilde{A} の部分代数系という．
\tilde{A} = (A, \Omega, \Sigma) と \tilde{B} = (B, \Omega', \Sigma') を二つの代数系とする．
\Omega と \Omega' の間に一対一対応があり，各 \bot \in \Omega の項数とこれに対応する
\bot' \in \Omega' の項数とが一致し，また \Sigma と \Sigma' の元数とが一致するとき，
二つの代数系 \tilde{A} と \tilde{B} は同種であるという．
特に \Omega と \Omega'，\Sigma と \Sigma' の間にそれぞれただ一つの一対一対応を考えているときにはそれらによって対応する演算，関係はしばしば同一視し，同じ記号で書き，また \Omega', \Sigma' も \Omega, \Sigma と同一視して同じ記号で書く．
 への写像
 が与えられているとき，対 (\Omega, \Sigma)（/\Sigma= \phi のときは \Omega）を
種の型 という．また A が集合で，各 \bot \in \Omega に対して一つの n(\bot) 項演算が定義され，
各 \rho \in \Sigma に対して一つの n(\rho) 元関係が定義されているとき，
\tilde{A}=(A, \Omega, \Sigma) を種の型 (\Omega, \Sigma) を持つ代数系という．
特にただ一つの種の型を考えているときはこれをいちいち示すことは省略し，代数系はその底 A であらわされているものとする．
5.3
A, B, C は同じ種の型 (\Omega, \Sigma) を持つ代数系，f:A \to B は写像とする．
f がすべての \bot \in \Omega とすべての \rho \in \Sigma を保存するとき，
f は A から B への準同型という．
g: B \to C がまた準同型ならばその合成 g \circ f: A \to C も準同型である．
X が A の部分代数系のとき，その A への埋蔵 \iota : X \to A は準同型，
f(X) は B の部分代数系となり，また Y が B の部分代数系のとき
f^{-1}(Y) は A の部分代数系となる．
f:A\to B と共に g:A\to B も準同型とする．このとき E=\{a|f(a)=g(a)\} はまた A の部分代数系である．
実際 a, b \in E で \bot \in \Omega（仮に二項演算とする）が何項でも同じ，以下“仮に二項演算とする”と書いたばあいはすべて同様）
ならば f(a)=g(a)，f(b)=g(b) で f, g は \bot を保存するから
で，よって a \bot \in E．この E を準同型 f と g の等値核という．
f: A \to B が準同型の一対一対応で，その逆 f^{-1}: B \to A も準同型のとき，f は同型写像といい，
このとき A と B は同型という．1_A:A \ to A は常に同型写像である．
5.4
狭義の代数系，すなわち \Sigma = \phi のときは，準同型についてさらにいろいろな定理が成り立つ．
まずこのとき一対一の準同型対応は明らかに常に同型写像である．
代数系 A 上の同値関係 \cong で，すべての \bot \in \Omega と両立するものを A の上の合同関係，
このとき a \cong b となる a, b \in A は合同であるといい，また \cong による同値類はまた合同類ともいわれるが，
(4.8) で述べたことから直ちに次の定理を得る．
定理\quad
A は狭義の代数系，\cong はその上の合同関係であるとき，\cong による類別 \mathfrak{U} の上に \Omega の各演算が自然に定義されて，
\mathfrak{U} は A と同種の代数系になり，その標準射影 p: A \to \mathfrak{U} は準同型となる．
特に B も A と同種の代数系，f: A \to B が準同型のとき，f の右標準全単分解 (p, q) の p と q は共に準同型で，さらに f が全射的ならば q は同型写像である．
この定理で得られる代数系 (\mathfrak{U}, \Omega) を A の \cong による商代数系といい，A/\!\cong で表す．
定理\quad
種の型 \Omega の代数系 A の上に二つの合同関係 \sim, \cong があり，f:A \to A/\!\sim, g:A \to A/\!\cong はその標準射影とする．
もし \cong が \sim より強ければただ一つの準同型 h:\ A/\!\sim \,\, \to A/\!\cong が定まり，g = h \circ f となる．
証明\quad
\sim の各合同類 X は \cong の一つの合同類に含まれる(2.5参照)．
これを h(X) とすればこの h が g = h \circ f をみたすただ一つの写像である．
これが準同型であることは A/\sim, A/\cong 上の演算 \bot \in \Omega の定義から見やすい．（証明終）
5.5
定理\quad
\tau は種の型 \Omega の代数系 A 上に定められた任意の二元関係とする．
このとき A の上の \tau より強い合同関係の中に最も弱いものが存在する．
証明\quad
\Xi は