How sets theory can be applied to computer science