Návrh české osmibodové normy
V této části je uveden přehled všech navrhovaných elementů, doplněný o jejich grafickou a textovou reprezentaci, typ provedené transformace, popřípadě příklad užití. Kompletní přehled, řazený podle kategorií editoru Lambda, naleznete v části Souhrnné tabulky. K brailleským znakům, které jsou zde vkládány do textu jako obrázky, je vždy připojena i alternativní textová reprezentace.
Vysvětlivky k textové reprezentaci: Pokud dva brailleské symboly v zápisu následují bezprostředně za sebou, jsou odděleny středníkem (např. 45; 12347). Pokud se naopak v zápisu mezi dvěma brailleskými symboly očekává výskyt dalších prvků (zejména argumentů příslušného elementu), jsou odděleny svislou čarou (např. 236 | 356).
Množinové operátory
| sjednocení | 56; 356 |  |
Ponechání původní reprezentace.
| průnik | 56; 256 |  |
Ponechání původní reprezentace.
Tento element není definován.
| rozdíl | 56; 36 |  |
Zavedení nového elementu.
| sjednocení systému množin | 56; 356 | 257 | 268 |  |
Kombinace již samostatně transformovaných symbolů (sjednocení | index přesně shora | ukončovací znak). Změna struktury zápisu.
| průnik systému množin | 56; 256 | 257 | 268 |  |
Kombinace již samostatně transformovaných symbolů (průnik | index přesně shora | ukončovací znak). Změna struktury zápisu.
| symetrický rozdíl | 56; 1457 |  |
Zavedení nového elementu.
| kartézský součin | 56; 578 |  |
Přidání prefixu (množina); použití již samostatně transformovaného symbolu (násobení – křížek).
| je prvkem | 1578 |  |
Přidání 7. a 8. bodu (45; 15 -> 1578).
| není prvkem | 48; 1578 |  |
Kombinace již samostatně transformovaných symbolů (prefix negace; je prvkem).
Tento element není definován.
| počet prvků | card |  |
Zavedení nového elementu.
| obsahuje jako prvek | 2478 |  |
Přidání 7. a 8. bodu (56; 24 -> 2478).
| obsahuje jako podmnožinu | 56; 23578; 235678 |  |
Kombinace již samostatně transformovaných symbolů (obsahuje jako vlastní část; rovná se).
| obsahuje jako vlastní část | 56; 25678 |  |
Sestup (45; 13456 -> 56; 25678).
| je podmnožinou | 56; 23578; 235678 |  |
Kombinace již samostatně transformovaných symbolů (je vlastní podmnožinou; rovná se).
Tento element není definován.
| je vlastní podmnožinou | 56; 23578 |  |
Sestup (45; 12346 -> 56; 23578).
| není podmnožinou | 48; 56; 23578; 235678 |  |
Kombinace již samostatně transformovaných symbolů (prefix negace; je podmnožinou).
Tento element není definován.
| není vlastní podmnožinou | 48; 56; 23578 |  |
Kombinace již samostatně transformovaných symbolů (prefix negace; je vlastní podmnožinou).
| neobsahuje jako vlastní část | 48; 56; 25678 |  |
Kombinace již samostatně transformovaných symbolů (prefix negace; obsahuje jako vlastní část).
| neobsahuje jako podmnožinu | 48; 56; 25678; 235678 |  |
Kombinace již samostatně transformovaných symbolů (prefix negace; obsahuje jako podmnožinu).
| doplněk | 56; 147 |  |
Zavedení nového elementu.
| potenční množina | 56; 12347 |  |
Zavedení nového elementu.
| prázdná množina | 13568 |  |
Přidání 8. bodu – náhrada za číselný prefix (3456; 1356 -> 13568).
Tento element není definován.
