integral embedding