motivate domain theory
chains must be non-empty
rename stuff in definition
background
put non-emptyness requirement in definition of chain-complete