Simplified Language for Abstract Mathematical Structures (->"IEEE Standard Dictionary")