Dedekind complete

Türkçe: dedekind tam

Açıklama: Dedekind tam; her sınırlı alt kümenin supremumu olan sıralı küme