type

term in model theory and related areas of mathematics

en-US/ˈtaɪp/
en-GB/ˈtaɪp/

分类：

mathematical object