Characterizing chain-compact and chain-finite topological semilattices (Q666683)

A topological space $X$ endowed with a jointly (separately) continuous, associative, commutative and idempotent binary operation $X\times X \to X$, $(x,y)\mapsto xy$, is called a topological (semitopological) semilattice. A subset $C$ of a semilattice $X$ is called a chain if $xy \in \{x, y\}$ for any $x,y \in C$. A semilattice $X$ is called chain-finite if each chain in $X$ is finite. A topological semilattice $X$ is called chain-compact if each closed chain in $X$ is compact. \par The authors obtain several interesting results about (semi)topological semilattices. For example: A Hausdorff semitopological semilattice is chain-compact if and only if it each non-empty chain $C$ in $X$ has $\inf C$ and $\sup C$ (with respect to the natural partial order $\le$ defined by $x \le y \Leftrightarrow xy = x$) belonging to the closure of $C$ in $X$; a $T_1$ topological semilattice $X$ is chain-finite if and only if for any closed subsemilattice $S\subset X$ and any continuous homomorphism $h:S \to Y$ to a $T_1$ topological semilattice $Y$ the image $h(S)$ is closed in $Y$.