结构异构
结构异构，也称构造异构，是指由于化合物具有不同的原子连接顺序而产生的同分异构现象，与立体异构相对。存在结构异构的化合物互称结构异构体。它们又可分为碳链异构、位置异构和官能团异构三类。
克里普克结构
克里普克结构（或称Kripke结构）是迁移系统的一个变种，最初由索尔·克里普克提出，用于在模型检测中表示一个系统的行为。克里普克结构本身是一个图，其结点表示系统可达的状态，其边表示状态的迁移。 有一个标号函数将结点与结点所具有的性质的集合映射起来。时序逻辑传统上是由克里普克结构进行解释的。