to axiomatize a single finite structure S?thumb

Problem

A structure like (1) in the figure can be described by FO sentences in the logic of graphs like

# Every node has an edge to another node:
# No node has an edge to itself:
# There is at least one node that is connected to all others:

However, these properties do not axiomatize the structure, since for