Ada Reference Manual (Ada 2022)
1.3 Terms and Definitions
Terms are defined throughout this document, indicated by italic type. Terms explicitly defined in this document are not to be presumed to refer implicitly to similar terms defined elsewhere. Mathematical terms not defined in this document are to be interpreted according to the CRC Concise Encyclopedia of Mathematics, Second Edition. Other terms not defined in this document are to be interpreted according to the Webster's Third New International Dictionary of the English Language. Informal descriptions of some terms are also given below.