famille de Sperner

famille spernerienne

COMBINATOIRE

E un ensemble, F un ensemble de parties de E, (E, F) forment une famille de Sperner si et seulement si :
pour toutes parties X et Y, éléments distincts de F, X ne contient pas Y et Y ne contient pas X.