A mathematical object is said to be canonical if it arises in a natural way without introducing any additional objects.