Partial Order on Pomset induced by bijective homomorphisms

Event-Structures / event-struct

Mechanized Theory of Event Structures

MIT License

16 stars 1 forks source link

Closed eupp closed 2 years ago

eupp commented 2 years ago

Prove that embedding is injective
Prove that pair of injective homomorphisms between finite lposets implies the existence of a bijective homomorphism
Instance of porderType on pomsets induced by bijective homomorphisms.