homotypy

• 同型性;