零写像
X を集合、Y を単位的マグマ(つまり、結合 ∗ とそれに関する単位元 0 を持つ集合)とすれば、写像 φ: X → Y が零写像であるとは、
を満たすときに言う。そのような代数系 (Y, ∗) としてモノイド、群、環、加群やうえで述べたベクトル空間などが重要な例として挙げることができる。