Title: Probability space as relational structure