Une altre proprietât, colegade cun la completece secont Dedekind viodude inte definizion assiomatiche de Sezion 3.1, e je la esistence di un element separadôr: