定義、種類(共変関数符、反共変関数符)