我正在阅读《算法导论》第三版这本书。定理 34.2 有一个证明（第 1059 页）：
因为多项式时间算法决定的语言类别是多项式时间算法接受的语言类别的子集，所以我们只需证明如果 L 被多项式时间算法接受，它是由多项式时间决定的算法。令 L 为某个多项式时间算法 A 所接受的语言……（证明被省略）……因此 A 是决定L的多项式时间算法。
我认为这意味着如果有两个集合A和B，并且A是B的子集，并且元素x∈A，这证明x∈B。
此外，我理解“由多项式时间算法决定的语言类别是多项式时间算法接受的语言类别的子集”。所以这个证明让我感到困惑......