 Field compositum

Inside a common overfield, the compositum $L_1{L}_2$ is the smallest field containing both $L_1$ and $L_2$.