Examples of using "Osajoukko" in a sentence and their english translations:
Mathematics is just a subset of type theory.