Aが集合φが空集合なら、直積集合φ×Aは空集合ですか?