A hypergraph consists of a vertex set together with a family of subsets of , which are called the edges of . A -uniform hypergraph, or -graph, for short, is a hypergraph whose edge set consists of -subsets of . A graph is just a special case of an -graph with .
A family of sets is said to have property if there is a subset of vertices such that every set in contains an element in and an element not in .
Property is named after Felix Bernstein who first introduced this property in 1908 [3]. A hypergraph with Property has chromatic number two.
The best upper bound known for is due to Erds [4] [5] and the following lower bound was given by Beck [2]: