Structural vs. Mathematical “Under” | Dyalog Blog