En matemàtiques, un tall de Dedekind d'un conjunt totalment ordenat E .