20、已知集合A={1，2，3，…，2n（n∈N^*）}．对于A的一个子集S，若存在不大于n的正整数m，使得对于S中的任意一对元素s₁，s₂，都有|s₁-s₂|≠m，则称S具有性质P．
（Ⅰ）当n=10时，试判断集合B={x∈A|x＞9}和C={x∈A|x=3k-1，k∈N^*}是否具有性质P？并说明理由．
（II）若集合S具有性质P，试判断集合 T={（2n+1）-x|x∈S）}是否一定具有性质P？并说明理由．

已知集合A={1，2，3，…，2n}（n∈N^*）．对于A的一个子集S，若S满足性质P：“存在不大于n的正整数m，使得对于S中的任意一对元素s₁，s₂，都有|s₁-s₂|≠m”，则称S为理想集．对于下列命题：
①当n=10时，集合B={x∈A|x＞9}是理想集；
②当n=10时，集合C={x∈A|x=3k-1，k∈N^*}是理想集；
③当n=1 000时，集合S是理想集，那么集合T={2 001-x|x∈S}也是理想集．
其中的真命题是（写出所有真命题的序号）．