Definition of "stereolithography"