“premultiplied alpha” is another name for Alpha compositing.