包含写像
↑ (Mac Lane & Birkhoff 1967, p. 5)
↑ (Chevalley 1956, p. 1)