Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Dense order
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
Partial order where every two distinct comparable elements have another element between them
Property
Value
dbo:
description
mathematischer Begriff
(de)
מושג בתורת הקבוצות
(iw)
partial order where every two distinct comparable elements have another element between them
(en)
Notion mathématique relative aux relations d'ordre
(fr)
임의의 비교 가능한 두 원소 사이에 다른 원소가 존재하는 부분 순서
(ko)
частковий порядок, у якому немає сусідніх елементів
(uk)
delna urejenost, pri kateri je med vsakima dvema različna primerljivima elementoma še en element
(sl)
dbo:
wikiPageWikiLink
dbr
:Archimedean_property
dbr
:Georg_Cantor
dbr
:Dense_set
dbr
:Countable_set
dbr
:Composition_of_relations
dbr
:Integer
dbr
:Real_number
dbr
:Set_(mathematics)
dbr
:Subring
dbr
:If_and_only_if
dbr
:Necessary_condition
dbr
:Sufficient_condition
dbr
:Dyadic_rational
dbr
:Dexter_Kozen
dbr
:Dense-in-itself
dbr
:Mathematics
dbr
:Kripke_semantics
dbr
:Coreflexive_relation
dbr
:Reflexive_relation
dbr
:Symmetric_relation
dbr
:Order_isomorphism
dbr
:Rational_number
dbr
:Euclidean_relation
dbc
:Order_theory
dbr
:Decimal_fraction
dbr
:Binary_relation
dbc
:Binary_relations
dbr
:Quadratic_irrational_number
dbr
:David_Harel
dbr
:Transitive_relation
dbr
:Partial_order
dbr
:Algebraic_number
dbr
:Comparability
dbr
:Total_order
dbr
:Minkowski's_question_mark_function
dbr
:Limit_ordinal
dbr
:Back-and-forth_method
dbr
:Empty_relation
dbr
:Categorical_theory
dbr
:Idempotent_relation
dbr
:Antitransitive
dbr
:Integers
dbr
:Quasireflexive_relation
dbr
:Semi-connex_relation
dbp:
drop
hidden
(en)
dbp:
proof
For the element , due to the Archimedean property, if , there exists a largest integer with , and if , , and there exists a largest integer with . As a result, . For any two elements with , and . Therefore is dense.
(en)
dbp:
title
Proof
(en)
dbp:
wikiPageUsesTemplate
dbt
:Main
dbt
:Reflist
dbt
:ISBN
dbt
:Math_proof
dbt
:Short_description
dbt
:Order_theory
dct:
subject
dbc
:Order_theory
dbc
:Properties_of_binary_relations
rdfs:
label
Dense order
(en)
Husté uspořádání
(cs)
Dichte Ordnung
(de)
Orden denso
(es)
Ordre dense
(fr)
Ordine denso
(it)
稠密関係
(ja)
조밀 순서
(ko)
Плотный порядок
(ru)
Щільний порядок
(uk)
owl:
sameAs
freebase
:Dense order
yago-res
:Dense order
wikidata
:Dense order
dbpedia-it
:Dense order
dbpedia-de
:Dense order
dbpedia-fr
:Dense order
dbpedia-ja
:Dense order
dbpedia-he
:Dense order
dbpedia-es
:Dense order
dbpedia-ru
:Dense order
dbpedia-ko
:Dense order
dbpedia-cs
:Dense order
dbpedia-sk
:Dense order
dbpedia-uk
:Dense order
dbpedia-global
:Dense order
dbr
:Dense order
prov:
wasDerivedFrom
wikipedia-en
:Dense_order?oldid=1254742139&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Dense_order
is
dbo:
wikiPageRedirects
of
dbr
:Dense_linear_order
dbr
:Dense_ordering
dbr
:Dense_relation
dbr
:Densely_ordered
is
dbo:
wikiPageWikiLink
of
dbr
:Suslin's_problem
dbr
:Fraïssé_limit
dbr
:Number_line
dbr
:Elementary_equivalence
dbr
:Dyadic_rational
dbr
:Covering_relation
dbr
:Density_(disambiguation)
dbr
:Dense-in-itself
dbr
:Existentially_closed_model
dbr
:Order_type
dbr
:Doxastic_logic
dbr
:Relation_algebra
dbr
:Order_(mathematics)
dbr
:Rasiowa–Sikorski_lemma
dbr
:List_of_first-order_theories
dbr
:DLO
dbr
:Linear_continuum
dbr
:Inequality_(mathematics)
dbr
:Glossary_of_order_theory
dbr
:Arithmetical_set
dbr
:Least-upper-bound_property
dbr
:Non-standard_model_of_arithmetic
dbr
:Binary_relation
dbr
:Dense_linear_order
dbr
:Cyclic_order
dbr
:Turing_degree
dbr
:Complete_theory
dbr
:List_of_order_theory_topics
dbr
:Scattered_order
dbr
:Thomae's_function
dbr
:Gerald_Sacks
dbr
:Filter_(set_theory)
dbr
:Construction_of_the_real_numbers
dbr
:Total_order
dbr
:Graph_homomorphism
dbr
:Temporal_logic
dbr
:Circular_coloring
dbr
:Tarski's_axiomatization_of_the_reals
dbr
:Whitehead's_point-free_geometry
dbr
:Sahlqvist_formula
dbr
:Back-and-forth_method
dbr
:Homogeneous_relation
dbr
:Cantor's_isomorphism_theorem
dbr
:Vaught_conjecture
dbr
:Relation_(mathematics)
dbr
:Categorical_theory
dbr
:Filters_in_topology
dbr
:Cyclic_vector
dbr
:Dense_ordering
dbr
:Dense_relation
dbr
:Densely_ordered
is
foaf:
primaryTopic
of
wikipedia-en
:Dense_order
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International