Let X be an arbitrary nonempty set

Let X be an arbitrary nonempty set and
let E be a vector space.

ผลลัพธ์ (ไทย) 1:

ให้ X เป็นชุด nonempty การกำหนด และให้ E เป็นเวกเตอร์ได้

ผลลัพธ์ (ไทย) 2:

ให้ X
เป็นชุดที่ว่างโดยพลการและให้E เป็นปริภูมิเวกเตอร์

ผลลัพธ์ (ไทย) 3:

ให้ X เป็นเซตชุดเผด็จการและ
ให้ E เป็นเวกเตอร์พื้นที่