真空定义