Морфізм

відображення між множинами, що зберігає структури