називається многовид розмірності n, який вкладений у евклідів простір на одиницю більшої розмірності n+1