Separated closure, kernel, primitive