Indholdsfortegnelse
3 relationer: Funktion (matematik), Mængde, Total ordning.
- Matematisk logik
Funktion (matematik)
En funktion eller afbildning er i matematisk forstand et redskab, der beskriver sammenhængen mellem en såkaldt uafhængig variabel og en anden, såkaldt afhængig variabel.
Se Relation (matematik) og Funktion (matematik)
Mængde
En mængde er en samling af objekter eller elementer, hvor den orden, de optræder i, ikke tillægges en betydning.
Se Relation (matematik) og Mængde
Total ordning
En total ordning på en mængde M er en ordning, hvor det for vilkårlige x og y i M gælder enten at x \leq y eller også at y \leq x (eller begge dele).
Se Relation (matematik) og Total ordning