在逻辑学里，每一个概念都有内涵和外延。
在二个概念之间，可以讨论它们的外延之间的关系，也可以讨论内涵关系。
外延之间，通常有五种关系，就是欧拉图解表示的关系。全同，种属，属种，全异，交叉。
【概念】这个词语，通常认为，它不是逻辑学的概念。没有外延，自然无法讨论它的种属概念。