Skip to content

Commit

Permalink
"nonempty" open set
Browse files Browse the repository at this point in the history
  • Loading branch information
@StevenClontz
StevenClontz authored Oct 10, 2024
1 parent a14715f commit e31e99a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spaces/S000199/properties/P000086.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ property: P000086
value: false
---

$0$ belongs to every open set, but $1$ does not belong to $(\leftarrow,0]$.
$0$ belongs to every nonempty open set, but $1$ does not belong to $(\leftarrow,0]$.

0 comments on commit e31e99a

Please sign in to comment.