T( πattrs(R) ) = T(R) // Number of tuples is unchanged size(project attrs) B( πattrs(R) ) ~= -------------------- × B(R) size(tuple)