Talk:Bounded type (mathematics)