WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Open set

Revision #873 → #1443 · back to history

addedOpen set in Euclidean space7ddc85a705a4
addedClosed interval [0,1] is not open31ec71cd0856
addedOpen set in a metric space619081e16117
addedTopology and open set4c77b04c2570
addedTopological space018953920733
addedInfinite intersection of open sets need not be open8ee85abb33ba
addedMetric space is a topological space2128ddea8efa
addedUnions and finite intersections of open sets4e9a697b6706
addedClosed set and clopen set5d57fb88aee6
addedSubspace topology4b34e9b8d23d
addedRationals in an interval open in Q but not R1e9558349585
addedInterior of a subsetd7b08a08ac9f
addedContinuous and open functions93102a34a897
addedOpen sets on the real line9f1c406446f4
addedClopen set4224053af736
addedEmpty set and whole space are clopenb56f5be02418
addedOpen intervals in Euclidean topology470aba5466eb
addedOpen but not closed interval42b7ee756226
addedClosed but not open interval282b292aa0ca
addedNeither open nor closed set26c2ae4c3276
addedDiscrete topology and ultrafilter topologya69d1a9b7418
addedRegular open set and semiregular space5ba4da975d4c
addedRegular closed set3607386422fd
addedα-open setd745dcba0ca6
addedPreopen / nearly open / locally dense set7e0068ebdd33
addedb-open set11a2aaa05fd0
addedβ-open / semi-preopen set7ff2a29ea284
addedSequentially open set0b4e84448bcb
addedAlmost open / Baire property77cc93dcbeb3
addedBaire property in the restricted sensed5c919d3f3a9
addedSemi-open set and semi-closured1f5989e8eda
addedSemi-θ-open set132dff9d2c7c
addedθ-open and δ-open sets40ea251d585a
addedImplications among generalized open setsa496396774e8
addedRegular open iff preopen and semi-closed8d9be7c811be
addedArbitrary unions of preopen sets177207430fec
addedα-open sets form a finer topologyd732607ee13b
addedHausdorff characterization via θ-closed compactse9ca8f1dc812
addedTotally disconnected characterization via preopen sets8899e89ffd91