Teiler
Eine ganze Zahl
heißt in
durch eine ganze Zahl
ohne Rest
teilbar , wenn es eine ganze Zahl
gibt, die die Bedingung
 |
(5.233) |
erfüllt.
Dabei ist
ein Teiler von
in
und
der zu
komplementäre Teiler ;
ist ein Vielfaches von
Für ,,
teilt
`` schreibt man auch
Für ,,
teilt
nicht`` kann man
schreiben.
Die Teilbarkeitsbeziehung (5.233) ist eine
binäre Relation in
.
Analog kann man die Teilbarkeit in der Menge der natürlichen Zahlen definieren.