Eine Abbildung der Ebene auf sich nennt man Achsenspiegelung an der Geraden g, wenn jedem Punk P der Ebene ein Bildpunkt P‘ so zugeordnet wird, dass