 Ordered triple

An ordered triple is a finite tuple with three ordered coordinates. Repeated coordinates are allowed; equality requires equality at each of the three positions.