OFFSET
0,2
COMMENTS
An antichain on a set is a T_0-antichain if for every two distinct pointsf the set there exists a member of the antichain containing one but not the other point.
CROSSREFS
KEYWORD
hard,nonn
AUTHOR
Goran Kilibarda, Vladeta Jovovic, Nov 28 2003
STATUS
approved