Equivalent_definitions_of_mathematical_structures loading ...