用户:C44986054/沙盒
| 学校文法 | 教育文法 | |||
|---|---|---|---|---|
| 语意上可独立使用 | 活用 | 品词 | ||
| 是＝ |
有＝ |
动词（终止形以ウ段结尾） | ||
| 形容词（终止形以い结尾） | イ形容詞 | |||
| 形容动词（终止形以だ结尾） | ナ形容詞 | |||
| 无 | 体言（可做为主词） | 名词 | ||
| 代名词 | ||||
| 数词 | ||||
| 副词（主要修饰用言） | ||||
| 连体词（主要修饰体言） | ||||
| 接続词（接续） | ||||
| 感动词（感叹） | ||||
| 否＝ |
有 | 助动词 | （语尾变化） | |
| 无 | ||||
| 唇音 | 齿音 / 齿龈音 | 软颚音 | 声门音 | |||
|---|---|---|---|---|---|---|
| 塞音 | 清 | 送气 |  (φ)
|
 (θ)
|
 (χ)
|
|
| 不送气 |  (π)
|
 (τ)
|
 (κ)
|
|||
| 浊 |  (β)
|
 (δ)
|
 (γ)
|
|||
| 鼻音 |  (μ)
|
 (ν)
|
(ŋ) | |||
| 擦音 | 清 |  ,  (σ)
|
 (ʽ)
| |||
| 浊 | (z) | |||||
| 颤音 | 清 | (r̥) | ||||
| 浊 |  (ρ)
|
|||||
| 近音 |  (λ)
|
|||||
| 第一时态 | 第二时态 | ||||
|---|---|---|---|---|---|
| 主动 | 中间态 | 主动 | 中间态 | ||
| 单数 | 第一人称 | -ω | -μαι | -ν | -μην |
| 第二人称 | -εις | -σαι | -ς | -σο | |
| 第三人称 | -ει(ν) | -ται | (空) | -το | |
| 双数 | 第二人称 | -τον | -σθον | -τον | -σθον |
| 第三人称 | -την | -σθην | |||
| 复数 | 第一人称 | -μεν | -μεθα | -μεν | -μεθα |
| 第二人称 | -τε | -σθε | -τε | -σθε | |
| 第三人称 | -ουσι | -νται | -ν | -ντο | |
定义
编辑定义 —
若 上的二元关系 若满足：
- 反对称性（antisymmetric）：
- 传递性（transitive）：
- 完全性（total）：
![{\displaystyle (\forall a\in X)(\forall b\in X)\{[(aFb)\wedge (bFa)]\Rightarrow (a=b)\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e312eafa0d662805f2832b9f186e7335a35a6804)
![{\displaystyle (\forall a\in X)(\forall b\in X)(\forall c\in X)\{[(aFb)\wedge (bFc)]\Rightarrow (aFc)\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8bb4c42295103854492b5ffcf4e66a210a39e5eb)
则 被称为 上的全序关系（total order），此时 可称为全序集合、线性序集合、简单序集合或链。
在不引起混淆的前提下，一般会模仿不等式，将全序关系直观的表记为 ，这种状况下，也可以把 记为 。
将完全性定义里的 （以量词公理A4）“代换”成 有：
![{\displaystyle (\forall a\in X)[(aFa)\lor (aFa)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b4b8dd3a86a1578e587ae47a73de1bc2b7f850b)
换句话说：
