In web.xml, welcome files must be defined within the element, with each file specified by a tag. This is the standard servlet specification syntax for configuring default files that load when a directory URL is accessed. The other options use incorrect element names that don't match the servlet specification.