型と集合