π-base: IDs 700-799

IDs 700-799

702

(Locally injectively path connected ∧ ¬ Discrete)     \implies ¬ Biconnected

Added:

Mar 21, 2026

Difficulty:

If not discrete, there exists a non-isolated point xx. Let VV be its injectively path connected nbd, which must contain some yxy \ne x. Let f:[0,1]Xf : [0, 1] \to X be an injective path from xx to yy. Then f([0,1/2))f([0, 1/2)) and f((1/2,1])f((1/2, 1]) are connected and disjoint.

703

Arc connected     \implies Injectively path connected

Added:

Mar 21, 2026

Difficulty:

An arc is, by definition, an embedding (hence, injective).

704

Locally arc connected     \implies Locally injectively path connected

Added:

Mar 21, 2026

Difficulty:

An arc is, by definition, an embedding (hence, injective).

757

Empty     \implies Locally 11-Euclidean

Added:

Mar 12, 2026

Difficulty:

Every pp \in \emptyset is homeomorphic to R\R.

782

(Discrete ∧ Finite)     \implies Has a cofinite topology

Added:

Mar 12, 2026

Difficulty:

The complement of any set must be finite.

793

Countable sets are discrete     \implies Strongly KC

Added:

Mar 27, 2026

Difficulty:

If AA is infinite, let BAB \subseteq A countably infinite, which must be discrete, so {x}\{x\} for xBx \in B is a countable cover with no finite subcover. Thus, countably compact sets must be finite, which are closed, as XX is T1T_1 (T221).