isZariskiOpenIn
P152470
predicate
Indicates that a subset is open in a given topological space with respect to the Zariski topology.
Sample triples (1)
| Subject | Object |
|---|---|
|
general linear group GL(n,R)
surface form:
GL(n,ℝ)
|
M_n(ℝ) ⓘ |