Vacuum distillation is distillation under reduced pressure