Олонлог
- x нь A олонлогт харьяалагдана, 
- x нь A олонлогт харьяалагдахгүй, 
- хоосон олонлог, 
- A олонлог B олонлогт багтана, 
- олонлогийн гүйцээлт.
| Дугаар | Тодорхойлолт | Томьёо |
| 18.1.1 | Олонлогуудын нэгдэл |  |
| 18.1.2 | Олонлогуудын огтлолцол |  |
| 18.1.3 | Олонлогуудын ялгавар |  |
| 18.1.4 | S олонлог хүртэлх A олонлогийн гүйцээлт |  |
| 18.1.5 | Хоёрдмолын зарчим |  |
| 18.1.6 |  |
