對偶律：(A∪B)^C=A^C∩B^C；(A∩B)^C=A^C∪B^C。 證明：A∩B＜A，A∩B＜B ∴（A∩B）^C＞A^C （A∩B）^C>B^C ∴（A∩B）^C＞=A^C∪B^C 同理可證，（A∪B）^C＜A^C∩B^C 把A^C代入A，B^C代入B，從而有： （A^C∪B^C）^C＜(A^C)^C∩(B^C)^C=A∩B ∴兩邊取補，得： A^C∪B^C＞（A∩B）^C 即∴（A∩B）^C＜=A^C∪B^C 可得：（A∩B）^C=A^C∪B^C 擴充套件資料： 其他集合運算定律： 交換律：A∩B=B∩A；A∪B=B∪A 結合律：A∪(B∪C)=(A∪B)∪C；A∩(B∩C)=(A∩B)∩C 分配對偶律：A∩(B∪C)=(A∩B)∪(A∩C)；A∪(B∩C)=(A∪B)∩(A∪C) 同一律：A∪?=A；A∩U=A 求補律：A∪A'=U；A∩A'=? 對合律：A''=A 等冪律：A∪A=A；A∩A=A

線上性代數中，列向量是一個 n×1 的矩陣，即矩陣由一個含有n個元素的列所組成：列向量的轉置是一個行向量，反之亦然。所有的列向量的集合形成一個向量空間，它是所有行向量集合的對偶空間。

單位列向量，即向量的長度為1，其向量所有元素的平方和為1。