Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeApr 10th 2017
   • (edited Apr 10th 2017)
   • PermaLink
   Author: Urs
   Format: MarkdownItexcreated for completeness: _[[cofinite subset]]_, _[[cofinite topology]]_

   created for completeness: cofinite subset, cofinite topology

2. • CommentRowNumber2.
   • CommentAuthorzskoda
   • CommentTimeMay 21st 2017
   • PermaLink
   Author: zskoda
   Format: MarkdownItexI have added the definition of a [[cofinite subset]] of a (pre)ordered set. > A [[preordered set]] $(\Lambda,\leq)$ is _cofinite_ or closure finite if for every $\lambda\in\Lambda$ the set of all predecessors of $\lambda$ is finite.

   I have added the definition of a cofinite subset of a (pre)ordered set.

   A preordered set $(\Lambda,\leq)$ is cofinite or closure finite if for every $\lambda\in\Lambda$ the set of all predecessors of $\lambda$ is finite.