亚型多态性，类型一致性和强制性之间的差异

Question

子类型多态性，类型一致性和强制之间有什么区别？我倾向于看到前两个术语紧密结合在一起，但未能找到一个良好的类型一致性定义，这可能揭示它是否与子类型多态性不同。强制似乎应该是相关的，并且可能比类型一致性稍窄，但我不确定。

为了它的价值，我正在使用Java。