We refer to component values of a tuple t by t[Ai] or t.Ai. This is the value vi of attribute Ai for tuple t.