element
1. Definition
Ein element ist ein Objekt, welches einer Menge zugehört
An element is a map from the terminal object in category set
Ein element ist ein Objekt, welches einer Menge zugehört
An element is a map from the terminal object in category set
Date: nil
Created: 2024-10-11 Fr 21:24