放射源

摘要

A radiation source may include a radiation emitter for emitting radiation, a collector for collecting radiation emitted by the radiation emitter, and an outlet configured, in use, to introduce a cooled gas into the radiation source.