Definition:Abstraction (Mathematical Logic)
Jump to navigation
Jump to search
Definition
An abstraction is an operator that forms a class name or predicate from a given expression.
Also see
Sources
- 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): abstraction: 2.