isZariskiClosed
P143481
predicate
Indicates that a given subset is closed with respect to the Zariski topology, meaning it is defined as the common zero set of a collection of polynomials.
Sample triples (1)
| Subject | Object |
|---|---|
|
special orthogonal group SO(n)
surface form:
SO(n)
|
true in Mₙ(ℝ) ⓘ |