Hallo Hagen,
wenn ich Dich richtig verstanden habe, möchtest Du für für den Restklassenopratoren
mod und
a,b e R und
m e N folgendes definieren:
mit zB
Code:
a := (Trunc(b) mod m) + Frac(b)
sehe ich das richtig?
Ist
m dabei zwingend eine natürliche Zahl oder siehst Du eine Möglichkeit, nicht-abzählbar viele Restklassen mit
m e R zu erzeugen?