共変関手共変関手共変函手きょうへんかんしゅきょう'へん・かん'しゅ5

Math.kovarianter Funktor