Helly Family - Formal Definition

Formal Definition

More formally, a Helly family of order k is a set system (F, E), with F a collection of subsets of E, such that, for any G ⊆ F with

we can find H ⊆ G such that

and

Read more about this topic:  Helly Family

Famous quotes containing the words formal and/or definition:

    “Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
    —Horace Walpole (1717–1797)

    “Was man made stupid to see his own stupidity?
    Is God by definition indifferent, beyond us all?
    Is the eternal truth man’s fighting soul
    Wherein the Beast ravens in its own avidity?”
    —Richard Eberhart (b. 1904)