Converse relation

Using composition of relations, the converse may be composed with the original relation. For example, the subset relation composed with its converse is always the universal relation: