已知集合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}也是理想集．
其中的真命题是（写出所有真命题的序号）．

已知集合A={1，2，3，…，2n}（n∈N*），对于A的一个子集S：若存在不大于n的正整数m，使得对S中的任意一对元素s₁，s₂，都有|s₁-s₂|≠m，则称S具有性质P。
（1）当n=10时，试判断集合B={x∈A|x>9}和C={x∈A|x=3k-1，k∈N*）是否具有性质P？并说明理由；
（2）当n=1000时，
① 若集合S具有性质P，那么集合T={2001-x|x∈S}是否一定具有性质P?并说明理由；
②若集合S具有性质P，求集合S中元素个数的最大值。

已知集合A={1，2，3，…，2n}（n∈N*），对于A的一个子集S：若存在不大于n的正整数m，使得对S中的任意一对元素s₁，s₂，都有|s₁-s₂|≠m，则称S具有性质P。
（1）当n=10时，试判断集合B={x∈A|x>9}和C={x∈A|x=3k-1，k∈N*）是否具有性质P？并说明理由； （2）若集合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}也是理想集．
其中的真命题是______（写出所有真命题的序号）．