【12】Python学习笔记：字符串格式化，set常用方法，函数定义