I am going to teach a course in set theory for software engineering students. I am going to talk in this course about: ordinal numbers, partial orders, well ordering, generic filters and maybe some cardinal invariants (such as $\mathfrak b$, $\mathfrak d$). I might also give a gentel introduction to forcing theory.
I was asked by the head of the department, to add to this course some application of this theory to software engineering.
Since my main area is math and not computer science, I don't have an idea for such an application.
Any ideas for such an application? If there is I would be greatfull if you could give me a detailed source.