Så att antagligen är det en fasligmängd