1 ≤ T( γL(R) ) ≤ T(R) ^ ^ | | all tuples all tuples have same have diff attr value attr values for attributes L
T( γL(R) ) = V(R,L)
T( γL(R) ) = (1/2)n(L) × T(R)
n(L) = number of attributes in the attribute list L