The formal representation of (quasi-) continuous concepts