选自《JAVA语言程序设计-基础篇（原书第8版）》
定义：一个对象可以包含另一个对象。这两个对象之间的关系称为组合（composition）。
组合实际上是聚集关系的一种特殊形式。聚集模拟了具有（has-a）关系，表示两个对象之间的归属关系。归属关系中的所有者对象称为聚集对象（aggregation object），而它的类称为聚集类（aggregating class）。归属关系中的从属对象称为被聚集类（aggregated object），而它的类被称为被聚集类（aggregated class）。
一个对象可以被几个其他聚集对象所拥有。如果一个对象只归属于一个聚集对象，那么它和聚集对象之间的关系就称为组合（composition）。例如：“一个学生有一个名字”就是组合关系，“一个学生有一个地址”就是聚集关系，因为一个地址可以被几个学生所共享。
UML中，实心菱形表示组合关系，空心菱形表示聚集关系。如图：
聚集关系通常被表示为聚集类中的一个数据域，如图：
聚集还可以存在于同一类的多个对象之间。例如：一个人可能有一个管理者或者多个管理者。一个管理者可用变量表示，多个则可使用数组，如图：
到这里，基本上聚集和组合的关系就不言自明了。