Source : Free On-Line Dictionary of Computing

extensionality
     
        {extensional equality}