๐ Extension
= the quasi objects, which are being designated by extension symbols in an extensional procedure
Types
- One argument: ๐ Class (LsW)
- Multiple arguments: ๐ Relation extension
Search
Aug 04, 2024, 1 min read
= the quasi objects, which are being designated by extension symbols in an extensional procedure