Referenced by:

• com-reducibility
• equivalence
• logic-ahrenfeucht-fraisse-game