Complex sentence: In addition, every function must be a total (as opposed to partial) function--i.e. it must have a definition for everything inside its domain.
Split into simpler sentences: In addition, every function must be a total (as opposed to partial) function. That is, it must have a definition for everything inside its domain.