https://9dok.net/document/zgwjx5kv-wiebkepetersen-theartofqueuing-countableanduncountablesets.html