# 5.2 列表相关的谓词