diff --git a/spaces/S000108/properties/P000081.md b/spaces/S000108/properties/P000081.md new file mode 100644 index 000000000..66952e65d --- /dev/null +++ b/spaces/S000108/properties/P000081.md @@ -0,0 +1,7 @@ +--- +space: S000108 +property: P000081 +value: false +--- + +It has {S109} as a subspace and {S109|P81}. diff --git a/spaces/S000108/properties/P000197.md b/spaces/S000108/properties/P000197.md deleted file mode 100644 index 748858c2a..000000000 --- a/spaces/S000108/properties/P000197.md +++ /dev/null @@ -1,7 +0,0 @@ ---- -space: S000108 -property: P000197 -value: false ---- - -It has {S109} as a subspace and {S109|P197}. diff --git a/spaces/S000109/properties/P000081.md b/spaces/S000109/properties/P000081.md new file mode 100644 index 000000000..145ab2a6d --- /dev/null +++ b/spaces/S000109/properties/P000081.md @@ -0,0 +1,10 @@ +--- +space: S000109 +property: P000081 +value: false +refs: + - mo: 505981 + name: Tightness of Novak space +--- + +$X$ has uncountable tightness, see {{mo:505981}}.