The formal representation of quasi-continuous concepts