python list存储的是reference id

ids of integer constants are not guaranteed to be equal, and indeed, for integers as large as 257, they aren't. (try id(257) == id(258 - 1)) 

Everything in python is stored as reference. So your assumption is right.

>>> id(1)
10274744
>>> a = [1]
>>> id(a)
11037512
>>> id(a[0])
10274744
>>> sys.getsizeof(1)
24
>>> sys.getsizeof(a)
80

http://docs.python.org/reference/simple_stmts.html#assignment-statements 
关于assignment-statements 和 augmented assignment-statements两段解释。
__add__和__iadd__即 + 和 += 的实现方式不一样
可以将=理解为名字绑定，= assignment-statements只是将右边(文档里面的RHS, abbr. for right-hand-side)的表达式的结果（值或对象）绑定到 =左边的名字上。 而+=之类augmented assignment-statements是对左边的对象的in-place操作(when possible)。

subset += (elements[0:size])
这一句是很危险的，直接将elements的元素*的引用*添加到了列表subset，我想你应该对python引用赋值的本质比较清楚，问题是你的elements的元素也是列表，也就是说，赋值之后，subset中的三个元素的id与elements中三个元素的id相同。你以为elements是安全的，但是它处于危险之中。

subset += (elements[0:size])

改为（记得import copy）

subset += copy.deepcopy(elements[0:size])

如何清空一个list（inplace）：

del list[:]

list[:]=[]