The linear relations involve solely two types in the relation. There are no “chains” or other types involved. They are even in function and share the same function relations.
The linear relations involve solely two types in the relation. There are no “chains” or other types involved. They are even in function and share the same function relations.