Definition of domain D and evaluation function