关系常指二元关系，数学的基本概念之一，关系是在集合的基础上定义的一个重要的概念，与集合的概念一样，关系的概念在计算机科学中也是最基本的。

它主要反映元素之间的联系和性质，在计算机科学中有重要的意义，如有限自动机和形式语言、编译程序设计、信息检索、数据结构以及算法分析和程序设计的描述中经常出现。