Hakuluettelo:
Käännös:
cointersection (suomeksi)
- Määritelmät:
- (lb, en, mathematics) A family of behavioural equivalences which factors through all elements of a second specified family of behavioural equivalences and for which any morphism that factors through the second family of behavioural equivalences also factors through its elements.