Wikimedia neighborhood · Wikidata observation Observed Graph-projection

essential supremum

notions of infimum and supremum

Provider: Wikidata. These recorded connections are observations, not Counterpedia claims. They do not establish source support.

Data and provenance

Provider: Wikidata · Entity ID: Q1969054

Release: sha256:f33228901a35b0683356002a46df9ceb11f399d05f17abb5c7c78256cbf38ba7

Graph membership is not truth. Each relation below is an observed typed edge the local Wikimedia graph bundle already materialized — not a corroborated, verified, or admitted claim. Bounded to 40 relations via an offset-index lookup (offset_index_binary_search), never a full scan of the bundle.Serving a published subset: joined entities + 1-hop neighborhood of 35,994 exact Wikipedia–Wikidata title matches. A subject that is not itself in that subset carries only the relations the subset recorded for it, so a small count here is the published scope and not a complete relationship inventory.

Development requests are not available on this deployment. The observed entity and its graph links remain readable.

1-hop relations (16)

Observed adjacency only. Each spoke is a typed edge already materialized in the graph, labeled by its recorded predicate — graph proximity is not support, corroboration, or admission. The links below are the accessible, no-JavaScript path to the same neighbors.

Follow a connection

Grouped by a fixed presentation taxonomy for legibility only. The grouping asserts no rank, truth, support, or standing — every observed edge is carried, none reordered by importance.

Identity & relations (3)

→ subclass of (P279)elementObserved
Relationship details
Provider: Wikidata · Property: P279 · Direction: outgoing · Entity ID: Q379825
→ instance of (P31)functionObserved
Relationship details
Provider: Wikidata · Property: P31 · Direction: outgoing · Entity ID: Q11348
→ subclass of (P279)qualityObserved
Relationship details
Provider: Wikidata · Property: P279 · Direction: outgoing · Entity ID: Q1207505

Other connections (13)

→ studied by (P2579)functional analysisObserved
Relationship details
Provider: Wikidata · Property: P2579 · Direction: outgoing · Entity ID: Q190549
→ Relationship name unavailable (P2534)\mathrm{ess } \sup f=\inf \{a \in \mathbb{R}: \mu(\{x: f(x) > a\}) = 0\}Observed
Relationship details
Provider: Wikidata · Property: P2534 · Direction: outgoing
→ Relationship name unavailable (P6104)WikiProject MathematicsObserved
Relationship details
Provider: Wikidata · Property: P6104 · Direction: outgoing · Entity ID: Q8487137
→ different from (P1889)supremumObserved
Relationship details
Provider: Wikidata · Property: P1889 · Direction: outgoing · Entity ID: Q215071
→ part of (P361)essential supremum and essential infimumObserved
Relationship details
Provider: Wikidata · Property: P361 · Direction: outgoing · Entity ID: Q104804789
→ studied by (P2579)measure theoryObserved
Relationship details
Provider: Wikidata · Property: P2579 · Direction: outgoing · Entity ID: Q15614122
→ Relationship name unavailable (P1993)\mathrm{ess}\supObserved
Relationship details
Provider: Wikidata · Property: P1993 · Direction: outgoing
→ Relationship name unavailable (P13044)partially ordered setObserved
Relationship details
Provider: Wikidata · Property: P13044 · Direction: outgoing · Entity ID: Q474715
→ Relationship name unavailable (P416)ess supObserved
Relationship details
Provider: Wikidata · Property: P416 · Direction: outgoing
→ Relationship name unavailable (P461)essential infimumObserved
Relationship details
Provider: Wikidata · Property: P461 · Direction: outgoing · Entity ID: Q20920008
← different from (P1889)supremumObserved
Relationship details
Provider: Wikidata · Property: P1889 · Direction: incoming · Entity ID: Q215071
← main subject (P921)essential supremum and essential infimumObserved
Relationship details
Provider: Wikidata · Property: P921 · Direction: incoming · Entity ID: Q104804789
← Relationship name unavailable (P461)essential infimumObserved
Relationship details
Provider: Wikidata · Property: P461 · Direction: incoming · Entity ID: Q20920008

Return to entry