Cut (mathematics)

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs gptkb:Dedekind_cut
gptkbp:category gptkb:logic
gptkb:Number_theory
gptkb:Set_theory
gptkbp:describes Partition of rational numbers
https://www.w3.org/2000/01/rdf-schema#label Cut (mathematics)
gptkbp:introducedIn 19th century
gptkbp:namedAfter gptkb:Richard_Dedekind
gptkbp:partitionType Two non-empty subsets
gptkbp:property First set has no greatest element
All elements of first set are less than all elements of second set
gptkbp:relatedTo gptkb:Order_theory
gptkb:Field_theory
Real numbers
Rational numbers
Completeness of real numbers
gptkbp:usedFor Construction of real numbers
gptkbp:usedIn Real analysis
gptkbp:bfsParent gptkb:CUT
gptkbp:bfsLayer 5