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: measure theory | Statement: [axiom of choice, usedIn, measure theory]

Target entity: measure theory
Context triple: [axiom of choice, usedIn, measure theory]

• A. 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.
• B. 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.
• C. 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.
• D. Wiener measure
  Wiener measure is the canonical probability measure on the space of continuous paths that models standard Brownian motion in probability theory and stochastic analysis.
• E. set theory
  Set theory is a foundational branch of mathematical logic that studies collections of objects, called sets, and underpins much of modern mathematics.
• 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: measure theory
Triple: [axiom of choice, usedIn, measure theory]

Measure theory is a branch of mathematical analysis that rigorously formalizes the concepts of length, area, volume, and integration for very general sets and functions.

Target entity: measure theory
Target entity description: Measure theory is a branch of mathematical analysis that rigorously formalizes the concepts of length, area, volume, and integration for very general sets and functions.

• A. 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.
• B. 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.
• C. 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.
• D. Wiener measure
  Wiener measure is the canonical probability measure on the space of continuous paths that models standard Brownian motion in probability theory and stochastic analysis.
• E. set theory
  Set theory is a foundational branch of mathematical logic that studies collections of objects, called sets, and underpins much of modern mathematics.
• F. None of above. chosen