There are two notions: cofinite subset of a set and a cofinite subset of a (pre)ordered set.
Given a set , then a subset is called cofinite if the complement is a finite set.
A preordered set is cofinite or closure finite if for every the set of all predecessors of is finite.
Last revised on May 21, 2017 at 20:49:46. See the history of this page for a list of all contributions to it.