6.16集合推导