非同构是在数学对象之间定义的一类映射，它能揭示出在这些对象的属性或者操作之间存在的关系。

若两个数学结构之间存在非同构映射，那么这两个结构叫做“非同构的”。一般来说，如果忽略非同构对象的属性或操作的具体定义，单从结构上讲，非同构的对象是不完全等价的。

非同构的树可以参照非同构图；非同构根数又在非同构图的基础上规定了树根，也就是说如果两个树的树根不同，但它们是同构图，那么它们也是非同构根树。可以看出非同构根数的个数≥非同构图（树）的个数。