• x = x

  • x = y Þ y = x

  • x = y Ùy = z Þ x = z

  • x = y Þ f(¼,x,¼) = f(¼,y,¼)

  
  • abstract elements - GUT / ~