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: Alaoglu’s lemma | Statement: [Banach–Alaoglu theorem, uses, Alaoglu’s lemma]

Target entity: Alaoglu’s lemma
Context triple: [Banach–Alaoglu theorem, uses, Alaoglu’s lemma]

• A. Banach–Alaoglu theorem
  The Banach–Alaoglu theorem is a fundamental result in functional analysis stating that the closed unit ball in the dual of a normed space is compact in the weak-* topology.
• B. Arzelà–Ascoli theorem
  The Arzelà–Ascoli theorem is a fundamental result in analysis that characterizes the relative compactness of families of functions via uniform boundedness and equicontinuity.
• C. Hahn–Banach theorem
  The Hahn–Banach theorem is a fundamental result in functional analysis that guarantees the extension of bounded linear functionals from a subspace to the whole space without increasing their norm.
• D. Krein–Milman theorem
  The Krein–Milman theorem is a fundamental result in functional analysis and convex geometry stating that a compact convex set in a locally convex topological vector space is the closed convex hull of its extreme points.
• E. Ultrafilter lemma
  The ultrafilter lemma is a set-theoretic principle weaker than the full Axiom of Choice that guarantees every filter can be extended to an ultrafilter and underlies several key results in topology and analysis.
• 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: Alaoglu’s lemma
Triple: [Banach–Alaoglu theorem, uses, Alaoglu’s lemma]

Alaoglu’s lemma is a foundational result in functional analysis that establishes the weak-* compactness of the closed unit ball in the dual of a normed space.

Target entity: Alaoglu’s lemma
Target entity description: Alaoglu’s lemma is a foundational result in functional analysis that establishes the weak-* compactness of the closed unit ball in the dual of a normed space.

• A. Banach–Alaoglu theorem chosen
  The Banach–Alaoglu theorem is a fundamental result in functional analysis stating that the closed unit ball in the dual of a normed space is compact in the weak-* topology.
• B. Arzelà–Ascoli theorem
  The Arzelà–Ascoli theorem is a fundamental result in analysis that characterizes the relative compactness of families of functions via uniform boundedness and equicontinuity.
• C. Hahn–Banach theorem
  The Hahn–Banach theorem is a fundamental result in functional analysis that guarantees the extension of bounded linear functionals from a subspace to the whole space without increasing their norm.
• D. Krein–Milman theorem
  The Krein–Milman theorem is a fundamental result in functional analysis and convex geometry stating that a compact convex set in a locally convex topological vector space is the closed convex hull of its extreme points.
• E. Ultrafilter lemma
  The ultrafilter lemma is a set-theoretic principle weaker than the full Axiom of Choice that guarantees every filter can be extended to an ultrafilter and underlies several key results in topology and analysis.
• F. None of above.