真空定義