| SVENSKA |
ENGELSKA |
| Mängd |
Set |
| Notation |
Notation |
| Likhet |
Equality |
| Delmängd, äkta |
Subset, proper/strict |
| Disjunkt |
Disjunct |
| Union |
Union |
| Snitt |
Intersection |
| Differens |
Difference |
| Komplement |
Complement |
| Potensmängd |
Powerset |
| Tomma mängden |
Empty set |
| Induktiv definition/induktivt
bevis |
Inductive definition/inductive
proof |
| Kardinalitet |
Cardinality |
| Tupel |
Tuple |
| Kartesisk produkt |
Cartesian product |
| Relation |
Relation |
| Invers |
Inverse |
| Sammansättning |
Composition |
| Identitetsrelation |
Identity relation |
| Reflexiv |
Reflexive |
| Symmetrisk |
Symmetric |
| Anti-symmetrisk |
Anti-symmetric |
| Hölje |
Closure |
| Partialordning |
Partial order |
| Totalordning |
Total order |
| Ekvivalensrelation |
Equivalence relation |
| Minimalt/maximalt element |
Minimal/maximal element |
| Minsta/största element |
Least/greatest element |
| Partition |
Partition |
| Ekvivalensklass |
Equivalence class |
| Riktad graf |
Directed graph |
| Funktion |
Function |
| Domän |
Domain |
| Range |
Värdemängd |
| Injektiv |
Injective (alt. one-to-one) |
| Surjektiv |
Surjective (alt. onto) |
| Bijektiv |
Bijective (alt. invertible) |
| Invers |
Inverse |
| Kommutativ |
Commutative |
| Associativ |
Associative |
| Distributiv |
Distributive |
| Partiell funktion |
Partial function |
| Boolesk algebra |
Boolean algebra |
| Konjunktiv/disjunktiv normalform |
Conjunctive/disjunktive
normal form |
| Sträng |
String |
| Konkatenering |
Concatenation/juxtaposition |
| Talsystem |
Number system |