hasUnderlyingSet
P77176
predicate
Indicates that one mathematical structure is associated with, or based on, a specific underlying set of elements.
Observed surface forms (1)
- hasEntrySet ×1
Sample triples (8)
| Subject | Object |
|---|---|
| Baire space | N^N ⓘ |
| Baire space | set of all infinite sequences of natural numbers ⓘ |
| Baire space ω^ω | set of all functions f: ω → ω ⓘ |
| Baire space ω^ω | set of all infinite sequences of natural numbers ⓘ |
|
general linear group GL(n,R)
surface form:
GL(n,ℝ)
|
set of all invertible n×n real matrices ⓘ |
|
Hadamard matrices
surface form:
Hadamard matrix
|
{+1, -1} via predicate surface "hasEntrySet" ⓘ |
|
modular group PSL(2,Z)
surface form:
PSL(2,ℤ)
|
2×2 integer matrices with determinant 1 modulo ±I ⓘ |
| Poincaré upper half-plane model | {z ∈ ℂ : Im(z) > 0} ⓘ |