  Coxeter groups are equipped with a partial order known as the weak Bruhat
order, such that $u \leq v$ if the inversions of $u$ are a subset of the
inversions of $v$. In finite Coxeter groups, weak order is a complete lattice,
but in infinite Coxeter groups it is only a meet semi-lattice. Matthew Dyer
introduced a larger poset, now known as extended weak order, which contains the
weak Bruhat order as an order ideal and coincides with it for finite Coxeter
groups. The extended weak order is the containment order on certain sets of
positive roots: those which satisfy a geometric condition called "biclosed".
The finite biclosed sets are precisely the inversion sets of Coxeter group
elements. Dyer conjectured that the extended weak order is always a complete
lattice, even for infinite Coxeter groups.
  In this paper, we prove Dyer's conjecture for Coxeter groups of affine type.
To do so, we introduce the notion of a clean arrangement, which is a hyperplane
arrangement where the regions are in bijection with biclosed sets. We show that
root poset order ideals in a finite or rank 3 untwisted affine root system are
clean. We set up a general framework for reducing Dyer's conjecture to checking
cleanliness of certain subarrangements. We conjecture this framework can be
used to prove Dyer's conjecture for all Coxeter groups.
