. "Instance for which the described Item is an example." . . "2017-02-07 (slight revision of definition)" . . . . "2016-04-21 (New)" . . "2016-04-29 (added inverse)" . "Holding for" .