Referenced by:

• elementary-class
• extrusive-posets
• logic-ahrenfeucht-fraisse-game
• logic-elementary-substructure
• logic-prime-atomic
• logic-types
• monoids-n-ways