Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Lebesgue decomposition theorem | Statement: [Henri Lebesgue, notableConcept, Lebesgue decomposition theorem]

Target entity: Lebesgue decomposition theorem
Context triple: [Henri Lebesgue, notableConcept, Lebesgue decomposition theorem]

• A. Hahn decomposition theorem
  The Hahn decomposition theorem is a fundamental result in measure theory that states any signed measure space can be partitioned into a positive set and a negative set on which the measure is respectively nonnegative and nonpositive.
• B. Lebesgue measure
  Lebesgue measure is the standard way of assigning a consistent notion of "length," "area," or "volume" to subsets of Euclidean space, forming the foundation of modern measure theory and integration.
• C. Lebesgue differentiation theorem
  The Lebesgue differentiation theorem is a fundamental result in real analysis stating that, for an integrable function, the averages over shrinking neighborhoods converge almost everywhere to the function’s pointwise value.
• D. Carathéodory’s extension theorem
  Carathéodory’s extension theorem is a fundamental result in measure theory that guarantees a unique extension of a pre-measure defined on an algebra of sets to a complete measure on the generated σ-algebra.
• E. Lebesgue integration
  Lebesgue integration is a foundational measure-theoretic framework for defining and analyzing integrals, particularly suited to handling limits, convergence, and more general functions than those allowed by Riemann integration.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Lebesgue decomposition theorem
Triple: [Henri Lebesgue, notableConcept, Lebesgue decomposition theorem]

The Lebesgue decomposition theorem is a fundamental result in measure theory that states any σ-finite measure can be uniquely decomposed into a part that is absolutely continuous with respect to another measure and a part that is singular to it.

Target entity: Lebesgue decomposition theorem
Target entity description: The Lebesgue decomposition theorem is a fundamental result in measure theory that states any σ-finite measure can be uniquely decomposed into a part that is absolutely continuous with respect to another measure and a part that is singular to it.

• A. Hahn decomposition theorem
  The Hahn decomposition theorem is a fundamental result in measure theory that states any signed measure space can be partitioned into a positive set and a negative set on which the measure is respectively nonnegative and nonpositive.
• B. Lebesgue measure
  Lebesgue measure is the standard way of assigning a consistent notion of "length," "area," or "volume" to subsets of Euclidean space, forming the foundation of modern measure theory and integration.
• C. Lebesgue differentiation theorem
  The Lebesgue differentiation theorem is a fundamental result in real analysis stating that, for an integrable function, the averages over shrinking neighborhoods converge almost everywhere to the function’s pointwise value.
• D. Carathéodory’s extension theorem
  Carathéodory’s extension theorem is a fundamental result in measure theory that guarantees a unique extension of a pre-measure defined on an algebra of sets to a complete measure on the generated σ-algebra.
• E. Lebesgue integration
  Lebesgue integration is a foundational measure-theoretic framework for defining and analyzing integrals, particularly suited to handling limits, convergence, and more general functions than those allowed by Riemann integration.
• F. None of above. chosen