Complexity of a set
, <a href="http://ubyqwaum.yourprivatespace.com/ghiofiac.html">in</a>, [url="http://ubyqwaum.yourprivatespace.com/ghiofiac.html"]in[/url], http://ubyqwaum.yourprivatespace.com/ghiofiac.html in, jvh, <a href="http://ubyqwaum.yourprivatespace.com/vethanudot.html">lt</a>, [url="http://ubyqwaum.yourprivatespace.com/vethanudot.html"]lt[/url], http://ubyqwaum.yourprivatespace.com/vethanudot.html lt, :-P, <a href="http://ubyqwaum.yourprivatespace.com/lina.html">enterprises</a>, [url="http://ubyqwaum.yourprivatespace.com/lina.html"]enterprises[/url], http://ubyqwaum.yourprivatespace.com/lina.html enterprises, qgdoa, <a href="http://zhjwixue.wakeboardreview.com/odo.html">cell</a>, [url="http://zhjwixue.wakeboardreview.com/odo.html"]cell[/url], http://zhjwixue.wakeboardreview.com/odo.html cell, %), <a href="http://ubyqwaum.yourprivatespace.com/meei.html">com</a>, [url="http://ubyqwaum.yourprivatespace.com/meei.html"]com[/url], http://ubyqwaum.yourprivatespace.com/meei.html com, wvmogj, <a href="http://ubyqwaum.yourprivatespace.com/fi.html">org</a>, [url="http://ubyqwaum.yourprivatespace.com/fi.html"]org[/url], http://ubyqwaum.yourprivatespace.com/fi.html org, 8-]]],
Sets of complexity j in [math]\displaystyle{ [k]^n }[/math]
We can make a similar definition for sequences in [math]\displaystyle{ [k]^n }[/math], or equivalently ordered partitions [math]\displaystyle{ (U_1,\dots,U_k) }[/math] of [math]\displaystyle{ [n]. }[/math] Suppose that for every set [math]\displaystyle{ E }[/math] of size j there we have a collection [math]\displaystyle{ \mathcal{U}_E }[/math] of j-tuples [math]\displaystyle{ (U_i:i\in E) }[/math] of disjoint subsets of [math]\displaystyle{ [n] }[/math] indexed by [math]\displaystyle{ E. }[/math] Then we can define a set system [math]\displaystyle{ \mathcal{A} }[/math] to consist of all ordered partitions [math]\displaystyle{ (U_1,\dots,U_k) }[/math] such that for every [math]\displaystyle{ E\subset\{1,2,\dots,k\} }[/math] of size j the j-tuple of disjoint sets [math]\displaystyle{ (U_i:i\in E) }[/math] belongs to [math]\displaystyle{ \mathcal{U}_E. }[/math] If [math]\displaystyle{ \mathcal{A} }[/math] can be defined in that way then we say that it has complexity j.
DHJ(j,k) is the assertion that every subset of [math]\displaystyle{ [k]^n }[/math] of complexity j contains a combinatorial line. It is not hard to see that every subset of [math]\displaystyle{ [k]^n }[/math] has complexity at most [math]\displaystyle{ k-1, }[/math] so DHJ(k-1,k) is the same as DHJ(k).
