The window loci are definable