集合Xにおける二項関係Rが「完全」であるとは、Xに属する全てのaおよびbについて、aRbかbRaが成り立つ（あるいは両方成り立つ）ことをいう。
在数学中，集合X上的一个二元关系R是全关系（totalrelation），若其满足：“对所有属于X的a和b，a关系到b或b关系到a。