basic example for set theory