Definition:Peano-Dedekind Structure