Knaster's condition (source code)

= Knaster's condition
{wiki=Knaster's_condition}