🔗 Extension

=== the quasi objects, which are being designated by extension symbols in an extensional procedure==

Types

• One argument: 📘 Class (LsW)
• Multiple arguments: 📕 Relation extension