deelbaarheid
euclidische deling
D = d.q+r
deeltal = deler.quotiënt+ rest
opgaande deling
geen rest
niet opgaande deling
wel rest
U = een unie van 2 verzamelingen weer te geven
∩ = een doorsnee van 2 verzamelingen weer te geven
A\B = verschil
a is een veelvoud van b
<=>
a is deelbaar door b
<=>
b is een deler van a
equivalentie
veelvouden
delers
del 18
5 IN
de verzameling natuurlijke delers van18
de verzameling natuurlijke veelvouden van 5
1is een deler van elk getal
elk getal is een veelvoud van 1
elk getal is een veelvoud van zichzelf
elk getal is een deler van zichzelf
0is een veelvoud van elk getal
0 is nooit een deler van een getal
een deler is ook een deler van elk veelvoud van dat getal
a\b => a(m.b)
een deler van 2 getallen is ook een deer van hun som
a\b en a\c => a (b+c)
=> = implicatie