every separable metric space isometrically embeds into

1 triples
GPTKB property