Her bir (?)ikilisi için t (x) =y olacak biçimde bir (?) öğesi varlayan bir (X,T) dönüşüm öbeği ile birlikte X ilingesel uzayı.,
